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