VARIATIONAL PRINCIPLES OF CONTINUUM MECHANICS WITH ENGINEERING APPLICATIONS VOLUME 1:CRITICAL POINT
1986 年出版386 页ISBN:9027721572
1988 IEEE SYMPOSIUM ON THE ENGINEERING OF COMPUTER-BASED MEDICAL SYSTEMS
1988 年出版174 页ISBN:0817648635
Introduction To The Formal Design of Real-Time Systems
1999 年出版461 页ISBN:3540761403