Detlef Kips: Ein operationelles Modell zur Syntax- und Semantikspezifikation. University of Erlangen-Nuremberg, Germany 1991, 1-20