Theoretical Computer Science : 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings - Jos C. M. Baeten, Tom Ball, Frank S. Boer ((Lecture Notes in Computer Science))