Programming with higher-order logic - Miller, Dale 1956-; Nadathur, Gopalan 1956- (Cambridge Univ. Press, 2012)
Includes bibliographical references and index