ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2009/12/31/4786660
「The Scheme Programming Language, 4th Edition」
で紹介した操作的意味論の記述言語PLT Redexの本が出てますね。
http://www.amazon.co.jp/exec/obidos/ASIN/0262062755/showshotcorne-22/
Semantics Engineering with PLT Redex (ハードカバー)
Matthias Felleisen (著), Robert Bruce Findler (著), Matthew Flatt (著)

http://redex.plt-scheme.org/index.html
PLT Redex & SEwPR

　SEwPRは、Semantics Engineering with PLT Redexの略なんですね。