Varga, L. 1983. On the verification of abstract data types. Acta Cybernetica. 6, 1 (Jan. 1983), 7-12.