The Clam proof planner (1989)

by F van Harmelen
Venue:Barry W. Boehm, IEEE Computer