Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday - Jonathan P. Bowen - Övrigt | Bokus