Proceedings of the 6th ACM European Regional Conference on System Architecture, ICS, London 1981

• Krämer, B.; Schmidt, H.W. (1981) Krämer, B.; Schmidt, H.W. "Interactive Software Development by Stepwise Formalisation" pp134-143