Relating Z and First−order logic
A. P. Martin
Journal
Formal Aspects of Computing
Pages
199–209
Volume
12
Year
2000
A. P. Martin