An approach to the formal specification of computer graphics systems

George S. Carson. An approach to the formal specification of computer graphics systems. Computers & Graphics, 8(1):51-57, 1984. [doi]

@article{Carson84,
  title = {An approach to the formal specification of computer graphics systems},
  author = {George S. Carson},
  year = {1984},
  doi = {10.1016/0097-8493(84)90023-2},
  url = {http://dx.doi.org/10.1016/0097-8493(84)90023-2},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/Carson84},
  cites = {0},
  citedby = {0},
  journal = {Computers & Graphics},
  volume = {8},
  number = {1},
  pages = {51-57},
}