A theory of architecture for spatial abstraction | IEEE Conference Publication | IEEE Xplore