System Sciences, 2004. Proceedings of the 37th Annual Hawaii International Conference on (2004), 10 pp..
Technology of Object-Oriented Languages, 2000. TOOLS 33. Proceedings. 33rd International Conference on (2000), pp. 22-32.
Vol. 40, No. 6. (June 2005), pp. 261-268.
interactions, Vol. 11, No. 5. (2004), pp. 42-43.
(1997), pp. 27-32.
(1992), pp. 1-10.
ACM Trans. Comput. Syst., Vol. 15, No. 4. (November 1997), pp. 391-411.
Science of Computer Programming, Vol. 70, No. 2-3. (1 February 2008), pp. 221-240.
Computer, Vol. 39, No. 5. (2006), pp. 33-42.
SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 189-199.
IEEE Std 1003.1, 2004 Edition. The Open Group Technical Standard. Base Specifications, Issue 6. Includes IEEE Std 1003.1-2001, IEEE Std 1003.1-2001/Cor 1-2002 and IEEE Std 1003.1-2001/Cor 2-2004. Shell and Utilities (2004)
(1998), pp. 119-129.
(2003)
Higher-Order and Symbolic Computation, Vol. 11, No. 2. (1998), pp. 209-225.
Vol. 25, No. 5. (October 1991), pp. 95-109.
(2003), pp. 268-281.
Vol. 33, No. 5. (December 1999), pp. 261-276.
J. ACM, Vol. 53, No. 3. (May 2006), pp. 379-405.