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