Theoretical aspects of computer software : материалы временных коллективов / Ed.: T. Ito, A. R. Meyer, 1991. - 770 p. - Текст : непосредственный.
Logic at botik'89 : Symp.on logical foundations of computer science Pereslavl-Zalessky, July 3-8, 1989Proc. / сост.ed. A. R. Meyer, сост.ed. М. А. Тайцлин, 1989. - X,289 p. p. - Текст : непосредственный.