Paper presented at the Proceedings of the UKSC Conference on Computer Simulation, Brighton, 1990. 169-174