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
PLEASE
{1984}