1. Filatov, V., Yavorskiy, R.: Scenario based analysis of linear computations. In: Proceedings of 12th International Workshop on Abstract State Machines ASM 2005, France, March 8-11, 2005, pp. 167–174 (2005)
2. Lecture Notes in Computer Science;Y. Gurevich,2004
3. Börger, E., Stärk, R.: Abstract State Machines. A method for High-Level System Design and Analysis. Springer, Heidelberg (2003)
4. Glaesser, U., Gurevich, Y., Veanes, M.: Abstract Communication Model for Distributed Systems. IEEE Transactions on Software Engineering 30(7), 458–472 (2004)
5. The OSI Reference Model,
http://www.cisco.com/warp/public/473/5.html