IRREVERSIBLE THERAMODYNAMICS THEORY AND APPLICATIONS
1988 年出版281 页ISBN:0471917060
INTRODUCTION TO DIFFERENTIAL EQUATIONS WITH APPLICATIONS
FRED BRAUER AND JOHN A.NOHEL1986 年出版628 页ISBN:0060409428
Building high integrity applications with SPARK
John W. McCormick ; Peter C. Chapin2015 年出版368 页ISBN:1107040731