Unifying theories of programming - HoarelhC.A.R. ( Charles Anthony Richard )