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