G Longo [Oct 1991], "A semantic basis for Quest (0)

by L Cardelli
Venue:Journal of Functional Programming