S*

Dasgupta, Simon Fraser University, 1978

A microprogramming language schema, which instantiates to a complete language for any given micromachine. It has Pascal-like syntax, with pre- and post-conditions.

"Towards a Microprogramming Language Schema", S. Dasgupta, Proceedings of the 11th Annual Workshop on Microprogramming (MICRO-11), 1978, pp.144-153.