FORMAL MODELS AND PRACTICAL TOOLS FOR INFORMATION SYSTEMS DESIGN
1979 年出版297 页ISBN:0444853944
NONSTANDARD ANALYSIS:A PRACTICAL GUIDE WITH APPLICATIONS
1981 年出版261 页ISBN:3540108793
Distributed Database Management Systems A Practical Approach
2010 年出版728 页ISBN:9780470407455