Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications August 28 - 30, 1991, Davis, California (IEEE Computer Soc. Press, 1992)
Literaturangaben