Higher Order Logic Theorem Proving and Its Applications heftetEngelsk, 1994