Title: Engineering Theories of Software Construction, Author: Tony Hoare
Title: Next Generation CASE Tools / Edition 1, Author: Kalle Lytinen