Spitzen, J. and Wegbreit, B. "The verification and synthesis of data structures" ACTA Informatica, 4, 2 (1975), 127-144.

Languages mentioned

• EL1 {1970} Extensible Language