Pattern Analysis and Machine Intelligence, IEEE Transactions on, Vol. 30, No. 7. (2008), pp. 1158-1170.
(1990), pp. 107-114.
Computing Systems, Vol. 4, No. 2. (1991), pp. 99-125.
Soft\-waredash Prac\-tice and Experience, Vol. 27, No. 2. (1997), pp. 123-137.
(FebruarySeptember-- April 1996), pp. 67-71.
Software - Practice and Experience, Vol. 23, No. 5. (1993), pp. 465-475.
(Summer 1990), pp. 183-192.
ACM Transactions on Algorithms, Vol. 3, No. 4. (November 2007), 37.
(November 2001)
(1 November 2007)
(December 2002)
(2006), pp. 897-900.
Journal of Law, Economics, and Organization, Vol. 21, No. 1. (April 2005), pp. 20-56.
Software, IEEE, Vol. 18, No. 2. (2001), pp. 90-95.
Queue, Vol. 1, No. 5. (2003), pp. 46-55.
Software, IEEE, Vol. 21, No. 6. (2004), pp. 62-69.
Software Engineering, IEEE Transactions on, Vol. 30, No. 4. (2004), pp. 246-256.
(2001)
Journal of Information Technology (15 May 2007)
(2003), pp. 419-429.
Open Source Systems (2006), pp. 297-306.
: Open Source Systems (2006), pp. 99-108.
(12 June 2007)
(2007), pp. 1026-1030.
(2005), pp. 63-68.
(15 June 1984)
(09 September 1993)
Higher Order Symbol. Comput., Vol. 11, No. 4. (December 1998), pp. 405-439.
Vol. 30, No. 4. (July 2005), pp. 1-6.
(2007)
(2006), pp. 472-481.
ACM Trans. Softw. Eng. Methodol., Vol. 11, No. 3. (July 2002), pp. 309-346.
ACM SIGSOFT Software Engineering Notes, Vol. 17, No. 4. (1992), pp. 40-52.
(JanuaryMarch~ 1994)
Bulletin of the European Association for Theoretical Computer Science, Vol. 62 (1997), pp. 222-259.
Vol. 523 (1991), pp. 124-144.
Vol. 40, No. 6. (June 2005), pp. 261-268.
(1995)
Functional Programming
Vol. 34(1) (1999), pp. 94-104.
(19 Jun 2008)
(1979)
(1976)
Open Source Systems (2006), pp. 345-346.