Terwilliger, R. B. and Campbell, R. H. "PLEASE: Executable Specifications for Incremental Software Development". Journal of Systems and Software, 10(2):97--112, September 1989

(1989)

Languages mentioned