A semantic basis for Quest" Dec-src report 5 (1989)

by L Cardelli, G Longo