Cooke D. J. and M. H. J. Al-Noufaly "The programming language MIN0 and its formal definition" pp47-57

[SIGPLAN] (1984) SIGPLAN Notices 19(02) February 1984  

Languages mentioned MIN0 {1981} MIN1 {1982}