Terminal algebra semantics and retractions for abstract data types [chapter]

Günter Hornung, Peter Raulefs
1980 Lecture Notes in Computer Science  
doi:10.1007/3-540-10003-2_80 fatcat:uiel6o3fn5e4tdqxka2at2vsxa