Specification by example

by Gojko Adzic