L. K. Alberts. Discussion: What is a formal representation and what is it good for?. In John S. Gero, Enn Tyugu, editors, Formal Design Methods for CAD, Proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June, 1994. Volume B-18 of IFIP Transactions, pages 59-70, Elsevier, 1994.
@inproceedings{Alberts94a,
title = {Discussion: What is a formal representation and what is it good for?},
author = {L. K. Alberts},
year = {1994},
researchr = {https://researchr.org/publication/Alberts94a},
cites = {0},
citedby = {0},
pages = {59-70},
booktitle = {Formal Design Methods for CAD, Proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June, 1994},
editor = {John S. Gero and Enn Tyugu},
volume = {B-18},
series = {IFIP Transactions},
publisher = {Elsevier},
isbn = {0-444-81970-3},
}