Programming by specification and annotation (1986)

by Don Cohen
Venue:In Proc. of AAAI