Jackson structured programming and finite automata - Ebert, Jürgen (1986)