Procedural implementation of algebraic specification (1993)

by Huimin Lin
Venue:ACM Transactions on Programming Languages and Systems