A framework for formal specification of the cartographic user interfaceAlan Kirk Edmonds · First published 1997Open the Tome