Paul A. Bailes, Leighton Brough. Making sense of recursion patterns. In Stefania Gnesi, Stefan Gruner, Nico Plat, Bernhard Rumpe, editors, Proceedings of the First International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012. pages 16-22, IEEE, 2012. [doi]
Abstract is missing.