1. The DisCo project WWWpage (2001), At
http://disco.cs.tut.fi
on the World Wide Web
2. Aaltonen, T., Helin, J.: Formal basis for testing with joint-action specifications. In: Hierons, R., Jéron, T.(eds) Proceedings of Formal Approaches To Testing 2002 (FATES 2002), A satellite workshop of CONCUR 2002, August 2002, pp. 65–77 (2002)
3. Aaltonen, T., Katara, M., Pitkänen, R.: DisCo toolset – the newgeneration. Journal of Universal Computer Science 7(1), 3–18 (2001),
http://www.jucs.org
4. Aaltonen, T., Kellomäki, P., Pitkänen, R.: Specifying Cash-Point with DisCo. Formal Aspects of Computing 12(4), 231–232 (2000)
5. Aaltonen, T., Mikkonen, T.: Managing software evolution with a formalized abstraction hierarchy. In: Martin, D.C. (ed.) Proceedings of the Eighth IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2002, Greenbelt, Maryland, USA, December 2002, pp. 224–231. IEEE Computer Society, Los Alamitos (2002)