Building high integrity applications with SPARK
John W. McCormick ; Peter C. Chapin2015 年出版368 页ISBN：1107040731
ANNUAL REVIEW OF BIOCHEMISTRY VOLUME 58
CHARLES C. RICHARDSON JOHN N. ABELSON PAUL D. BOYER ALTON MEISTER1989 年出版1167 页ISBN：0824308581
（美）（C.达德利）Christina Dudley，（美）（J.考克斯）Joyce Cox著；北京博彦科技发展有限公司译1998 年出版190 页ISBN：7301038410
ELEMENTS OF GEOGRAPHY PHYSICAL AND CULTURAL
VERNOR C. FINCH AND GLENN T. TREWARTHA1942 年出版823 页ISBN：
THE INTERNATIONAL LAW OF THE SEA
A. PEARCE HIGGINS AND C. JOHN COLOMBOS1945 年出版647 页ISBN：
（美）菲尔·佩治，（美）克莱尔C.弗兰克，（美）罗伯特·拉德纳著；焦颖主译2016 年出版304 页ISBN：9787500949303
Organized crime aspects and globalized elements
Frederick B. Hall and Francis C. Martin2013 年出版0 页ISBN：
（德）C.克纳（Charlotte Kerner）主编；马怀琪译2001 年出版293 页ISBN：780127797X
