Theoretical computer science : 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012 : proceedings - Jos C. M. Baeten, editor ([, Springer], 2012)