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}, }