Jan de Meer, Rudolf Roth, Son T. Vuong. Introduction to Algebraic Specifications Based on the Language ACT ONE. Computer Networks, 23(5):363-392, 1991.
@article{MeerRV91,
title = {Introduction to Algebraic Specifications Based on the Language ACT ONE},
author = {Jan de Meer and Rudolf Roth and Son T. Vuong},
year = {1991},
tags = {rule-based, algebraic specification, algebra},
researchr = {https://researchr.org/publication/MeerRV91},
cites = {0},
citedby = {0},
journal = {Computer Networks},
volume = {23},
number = {5},
pages = {363-392},
}