Varga L.: On the verification of abstract data types. In: Acta cybernetica, (6) 1. pp. 7-12. (1983)
Varga L.: Synthesis of abstract algorithms. In: Acta cybernetica, (5) 1. pp. 59-76. (1980)
Fekete I.; Varga L.: On the formal definition of VDL-objects. In: Acta cybernetica, (3) 3. pp. 239-248. (1977)