Engineering Theories of Software Intensive SystemsManfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare · First published 2005Open the Tome
