Formal Specification And Verification Of Digital Systems - Milne, George (Mcgraw Hill Book Company, 1994)