St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung Bonn, Interner Bericht ISF-75--03, April 1975.
Also in: Lenk, H.: Handlungstheorien interdisziplinär I: Handlungslogik, formale und sprachwissenschaftliche Handlungstheorien, pages 107-136. München: Wilhelm Fink Verlag, 1980.