Generic Models of the Laws of Programming
Tony Hoare
Book Title
Theories of Programming and Formal Methods − Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Editor
Zhiming Liu and Jim Woodcock and Huibiao Zhu
Pages
213−226
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
8051
Year
2013