Relating Z and first−order logic
Andrew Martin
Book Title
FM'99 – Formal Methods
Editor
Jeanette M. Wing and Jim Woodcock and Jim Davies
Month
sep
Number
1708‚1709
Pages
1266–1280
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Year
1999