Gordon, M.J.C. et al, "Introduction to HOL", Cambridge U Press 1993 ISBN 0-521-441897
(1993)
Languages mentioned
HOL
{1985} Higher Order Logic