L. Varga, “On the verification of abstract data types”, Acta Cybern, vol. 6, no. 1, pp. 7-12, Jan. 1983.