Generating Model Checkers from Algebraic Specifications.

Teo Rus, Eric Van Wyk, and Tom Halverson,

Formal Methods in System Design, 20 (3): 249-284, 2002.