Bahr, P.,
2012,
Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings. Gibbons, J. & Nogueira, P. (eds.).
Springer,
p. 263-299 37 p. (Lecture notes in computer science, Vol. 7342).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review