Thomas I. M. Ho
Purdue University West Lafayette, Indiana
A technique for software module specification with examples
Communications of the ACM