TY - CONF T1 - Proceedings of Concurrency, Specification, and Programming PY - 2006 T2 - CS&P'2006 M4 - Citavi ER -