A Model for Partial Programs (1989)

by M Ward
Venue:J. Assoc. Comput. Mach