Unifying theories of programming : 4th international symposium, UTP 2012, Paris, France, August 27-28, 2012 : revised selected papers. ISBN 9783642357046. Published by Springer in 2013. Publication and catalogue information, links to buy online and reader comments.