Procedural Implementation of Algebraic Specifications. Institute of Software, Chinese Academy of Sciences, Beijing (1993)

by H LIN
Venue:ACM Transactions on Programming Languages and Systems