Gilles Bernot, Michel Bidoit, Teodor Knapik. Behavioural Approaches to Algebraic Specifications: A Comparative Study. Acta Informatica, 31(7):651-671, 1994.
@article{BernotBK94,
title = {Behavioural Approaches to Algebraic Specifications: A Comparative Study},
author = {Gilles Bernot and Michel Bidoit and Teodor Knapik},
year = {1994},
tags = {algebraic specification, algebra, systematic-approach},
researchr = {https://researchr.org/publication/BernotBK94},
cites = {0},
citedby = {0},
journal = {Acta Informatica},
volume = {31},
number = {7},
pages = {651-671},
}