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