4 books • 1 series
Shangri-La
Stabile Schieflage
Verification of Reactive Systems (Texts in Theoretical Computer Science. An EATCS)
Achievement Motivation in Perspective