Informatik-Fachberichte 36 The Use of Formal Specification of Software
1980 年出版388 页ISBN:3540104429
WORLDS IN COLLISION TERROR AND THE FUTURE OF GLOBAL ORDER
2222 年出版376 页ISBN:0333998057
Rockin' in time : a social history of rock and roll
2222 年出版239 页ISBN:0137822855