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

Erfahrungen beim Einsatz des Spezifikationssystems ESPRESO. - Klaus Eckert (Requirements Engineering, 1983)