Ein algebraischer Kalkül für einen strukturierten Entwurf von Datenabstraktionen - Lipeck, Udo (Univ., Abt. Informatik, 1983)