暂无分享，去创建一个
Jeannette M. Wing
[1] M. Gordon. HOL: A Proof Generating System for Higher-Order Logic , 1988 .