• E-learning tools for teaching the design and validation of "Finite state machines"Wuttke, Heinz-Dietrich; Sudnitsõn, Aleksander; Henke, KarstenE-learning II and the Knowledge Society with Section for PhD Students in Computing : Communication & Cognition : Ghent, Belgium2006 / p. 327-341 : ill