1. Lecture Notes in Computer Science;M. Balser,2000
2. Tickets on your Mobile. [last seen 2007-03-16] URL: http://www.beep.nl
3. Bolton, C., Davies, J., Woodcock, J.C.P.: On the refinement and simulation of data types and processes. In: Araki, K., Galloway, A., Taguchi, K. (eds.) IFM 1999. Proceedings of the International conference of Integrated Formal Methods, pp. 273–292. Springer, Heidelberg (1999)
4. Börger, E., Stärk, R.F.: Abstract State Machines—A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)
5. Lecture Notes in Computer Science;C. Breunesse,2002