PCSL und ESPRESO - zwei Ansätze zur Formalisierung der Prozeßrechner-Softwarespezifikation