On the formal definition of VDL-objects. - I. Fekete; L. Varga (Acta Cybern., 1977)

Synthesis of abstract algorithms. - L. Varga (Acta Cybern., 1980)

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

A new approach to defining software complexity measures. - Zoltán Daróczy; L. Varga (Acta Cybern., 1988)