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
micro-PRL
{1981}
PRL
{1983} Proof Refinement Logic