Minimally adequate teacher synthesizes statechart diagrams Erkki MäkinenTarja Systä Pages: 235 - 259