13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Functional Approaches to Design Description > 5-19
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Functional Approaches to Design Description > 20-34