Relating Z and First−order logic - Martin, A (2000)