Bates, J., and Constable, R.L. "Definition of Micro-PRL" Tech. Rep. TR 82-492, Computer Science Dept., Cornell Univ., Oct. 1981.

(1981)

Languages mentioned