@snowball

A Technique for the Specification of Software Modules with Examples

. Communications of the ACM, 15 (5): 330--336 (May 1972)

Links and resources

Tags