Jan de Meer Rudolf Roth Son T. Vuong Introduction to Algebraic Specifications Based on the Language ACT ONE. 363-392 1991 23 Computer Networks and ISDN Systems 5 db/journals/cn/cn23.html#MeerRV91 http://dx.doi.org/10.1016/0169-7552(92)90013-G