Lecture Notes in Computer Science 4126 Reasoning Web Second International Summer School 2006
2006 年出版268 页ISBN:354038409X
Lecture Notes in Computer Science 86 Abstract Software Specifications 1979 Copenhagen Winter School
19791980 年出版567 页ISBN:3540100075
POLICING AND SECURITY IN PRACTICE CHALLENGES AND ACHIEVEMENTS
TIM PRENZLER2012 年出版227 页ISBN:0230300569