1. Algebraic specification and development: A survey and annotated bibliography,1991
2. Introduction to functional programming;Bird,1988
3. Modelling a hierarchy of space applied to large road networks;Car,1994
4. General principles of hierarchical spatial reasoning — The case of wayfinding;Car,1994
5. On understanding types, data abstractions, and polymorphism;Cardelli;Computing Surveys,1985