Brender, Ronald F. "Generation of BLISSes" IEEE Trans. Softw. Eng. SEA, 6 (Nov. 1980), 553-562.
(1980)
Languages mentioned
BLISS
{1969} CMU systems programming language