Algebraic Specification and Development in Geometric Modeling

@inproceedings{Bertrand1993AlgebraicSA,
  title={Algebraic Specification and Development in Geometric Modeling},
  author={Yves Bertrand and Jean-François Dufourd and Jean Françon and Pascal Lienhardt},
  booktitle={TAPSOFT},
  year={1993}
}