A Semantic Basis for Quest (1990)

by L Cardelli, G Longo
Venue:Proc. ACM Conf. on LISP and Functional Programming