- abc: An Extensible AspectJ CompilerPavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondřej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble. TAOSD, :293-334, 2006. [doi]
- Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, ProceedingsDominique Borrione, Wolfgang J. Paul, editors, Volume 3725 of Lecture Notes in Computer Science, Springer, 2005.
- Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME 95, Frankfurt/Main, Germany, October 2-4, 1995, ProceedingsPaolo Camurati, Hans Eveking, editors, Volume 987 of Lecture Notes in Computer Science, Springer, 1995.
- Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME 93, Arles, France, May 24-26, 1993, ProceedingsGeorge J. Milne, Laurence Pierre, editors, Volume 683 of Lecture Notes in Computer Science, Springer, 1993.