Author: International Workshop on the HOL Theorem Proving System and Its Applications (1991 Davis, Calif.)