Ė. Kh. Tyugu

Towards an automated logic of human thought

Donald Michie, Jean E. Hayes, Ė. Kh. Tyugu, 1991 .

Formal Design Methods for CAD, Proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June, 1994

John S. Gero, Ifip Tc, Ė. Kh. Tyugu, 1994, Formal Design Methods for CAD.

Knowledge-Based Programming

Ė. Kh. Tyugu, E. Tyugu, M. Vardi, 2004 .