Joseph A. Goguen. Modular Algebraic Specification of Some Basic Geometrical Constructions. Artificial Intelligence, 37(1-3):123-153, 1988.
@article{Goguen88, title = {Modular Algebraic Specification of Some Basic Geometrical Constructions}, author = {Joseph A. Goguen}, year = {1988}, tags = {algebraic specification, algebra}, researchr = {https://researchr.org/publication/Goguen88}, cites = {0}, citedby = {0}, journal = {Artificial Intelligence}, volume = {37}, number = {1-3}, pages = {123-153}, }