Burstall, R.M. and Sannella, D.T. HOPE User's Manual. In preparation.
(1977)
Languages mentioned
HOPE
{1978}