The programming language MINO and its formal definition. - D. John Cooke; M. H. J. Al-Noufaly (ACM SIGPLAN Notices, 1984)