Petr Kozák: Stepwise Synthesis of Reactive Programs. SOFSEM 1995: 391-398