On the verification of abstract data types - Varga, L. (Acta Cybernetica, 1983)