Higher order logic and harware verification - Melham, T. (Cambridge University Press, 1993)
bibl. references:pp.147-157