Paper language presented by Bjorner as an introduction to VML semantics
References:
Bjorner, D "Programming languages: formal development of interpreters and compilers" pp1-22. view details in Proceedings of the Fifth International Computer Symposium, 1977 view details