Jochen Ludewig PCSL und ESPRESO - zwei Ansätze zur Formalisierung der Prozeßrechner-Softwarespezifikation. 76-86 1981 conf/prozess/1981 Fachtagung Prozessrechner db/conf/prozess/prozess1981.html#Ludewig81