Abstraction, verification and validation in urban simulation - Kilbridge, Maurice; Didrichsen, Jon (1969)