Map framework a formal model of maps as a fundamental data type in information systems - McKenney, Mark; Schneider, Markus (Springer, 2016)