Algebra Unifies Operational Calculi
Stephan van Staden and Tony Hoare
Book Title
Unifying Theories of Programming‚ 4th International Symposium‚ UTP 2012‚ Paris‚ France‚ August 27−28‚ 2012‚ Revised Selected Papers
Editor
Burkhart Wolff and Marie−Claude Gaudel and Abderrahmane Feliachi
Pages
88−104
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
7681
Year
2012