Kerridge, J., & McNair, N. (1999). PEDFLOW - A System for Modelling Pedestrian Movement Using occam. In Proceedings of WoTUG-22: Architectures, Languages and Techniques for Concurrent Systems (1-18)