Theoretical Computer Science : 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, the Netherlands, September 26-28, 2012, Proceedings. ISBN 9783642334740. Published by Springer in 2012. Publication and catalogue information, links to buy online and reader comments.