Pablo Nogueira

Titel	ISBN-13 (ISBN-10)	Erschei- nungsjahr	andere Autoren
Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings	978-3-642-31112-3 (3-642-31112-1)	2012	Jeremy Gibbons