>>306
syntax-rulesで難しいのはむしろ健全性の方だと思うが、
パターンマッチが知りたいんだよね？
繰り返し (...) を除けばパターンマッチはそんなに難しくない。
アルゴリズムの入門書あたりに出てないかな。
健全性の方はWill Clingerの論文Macros That Workがいいよ。