Formal specification using Z - Lightfoot, David (MacMillan Publishing Company, 1991)