A window inference tool for refinement (1992)

by Jim Grundy
Venue:Fifth Refinement Workshop, Workshops in Computing