Theodosis Dimitrakos. Parameterising (Algebraic) Specifications on Diagrams. In ASE. pages 221-224, 1998. [doi]
@inproceedings{Dimitrakos98, title = {Parameterising (Algebraic) Specifications on Diagrams}, author = {Theodosis Dimitrakos}, year = {1998}, url = {http://dlib.computer.org/conferen/ase/8750/pdf/87500221.pdf}, tags = {algebraic specification, algebra}, researchr = {https://researchr.org/publication/Dimitrakos98}, cites = {0}, citedby = {0}, pages = {221-224}, booktitle = {ASE}, }