Jochen Ludewig. Espreso - a system for process control software specification. In Elöd Knuth, Erich J. Neuhold, editors, Specification and Design of Software Systems, Conference on Operating Systems, Visegrad, Hungary, January 23-27, 1982, Proceedings. Volume 152 of Lecture Notes in Computer Science, pages 114-131, Springer, 1982.
Abstract is missing.