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

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

Languages mentioned SEGRAS {1985}