Proving Assertions is Also Useful

Jürgen F. H. Winkler, Stefan Kauer. Proving Assertions is Also Useful. SIGPLAN Notices, 32(3):38-41, 1997.