Michael J. C. Gordon: Set Theory, Higher Order Logic or Both? TPHOLs 1996: 191-201