Sofsem 2010: Theory and Practice of Computer Science: 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Ml?, C (Paperback)
Foundations of Software Science and Computation Structures: 17th International Conference, Fossacs 2014, Held as Part of the European Joint Conference (Paperback, 2014)