The HOL System: Description (1991)

by SRI International, DSTO