Acta informatica / edited by F.L. Bauer ... [et al.] / editor-in-chief P.G. Ciarlet and R.S. Varga. vol. 31, fasc. 1-8, chybí fasc. 1, 2, 1994   .  Berlin ; Heidelberg :  Springer