Higher order logic and hardware verification /
Melham, T. F.
Cambridge : Cambridge University Press,
1993.