Engineering dependable software systems - Broy, Manfred, 1949- (IOS Press, 2013)
Obsahuje bibliografii a rejstřík