Leslie Lamport "The Specification and Proof of Correctness of Interactive Programs" pp477-540

[Proceedings] (1978) Proceedings of the International Conference on Mathematical Studies of Information Processing Kyoto, Japan August, 1978  

Languages mentioned TECO {1960} Text Editor and COrrector - Macro language