Title: Simulation Engineering / Edition 1, Author: Mikihiako Ohnari
Title: Engineering Theories of Software Construction, Author: Tony Hoare