Klaus Eckert, Jochen Ludewig: ESPRESO-W, ein Werkzeug für die Spezifikation von Prozeßrechner-Software. Werkzeuge der Programmiertechnik 1981: 101-112