Software engineering - Bjørner, Dines 1937-