Broy, M. and P. Pepper "Program Development as a Formal Activity" IEEE Transactions on Software Engineering, January 1981, pp14-15

Languages mentioned

• CIP-L {1980}