4 works on record
Theory And Practice Of Computer Science Proceedings
Über die Erkennbarkeit unendlicher Spuren
Foundations of Software Science and Computation Structures
SOFSEM 2010 : Theory and Practice of Computer Science