Sorry, this page has moved to
http://www.cis.ksu.edu/santos/spec-patterns