Books by International Workshop on the HOL Theorem Proving System and Its Applications (1991 Davis, Calif.) on BookTides.