Proceedings of the 1991 international workshop on the HOL theorem proving system and its applications,Aug.28-30,1991,Davis(Ca) / HOL 91, 1992. - XIX,411 p. p. - Текст : непосредственный.