Bjorner, D "Programming languages: formal development of interpreters and compilers" pp1-22.

[Proceedings] (1977) Proceedings of the Fifth International Computer Symposium, 1977  

Languages mentioned SAL {1977} Paper language suitable for semantic definition