Spill: A logic language for writing testable requirements specifications (1997)

by F Klu'zniak
Venue:Science of Computer Programming