Kenneth Johnson. The algebraic specification of spatial data types with applications to constructive volume geometry. PhD thesis, Swansea University, UK, 2007. [doi]
@phdthesis{ethos-14331,
title = {The algebraic specification of spatial data types with applications to constructive volume geometry},
author = {Kenneth Johnson},
year = {2007},
url = {https://cronfa.swan.ac.uk/Record/cronfa42232},
note = {British Library, EThOS},
researchr = {https://researchr.org/publication/ethos-14331},
cites = {0},
citedby = {0},
school = {Swansea University, UK},
}