Software engineering - Bjørner, Dines 1937- (Springer, 2006)
Literaturverz. S. 687-711