(2004), pp. 57-68.
Implementation and Application of Functional Languages (2005), pp. 35-51.
(1995), pp. 69-87.
Knowledge-Based Systems, Vol. 17, No. 1. (January 2004), pp. 31-37.
J Am Med Inform Assoc, Vol. 7, No. 2. (r 2000), pp. 164-176.
(05 December 1994)
(2007), pp. 329-330.
Transactions on Visualization and Computer Graphics, Vol. 12, No. 6. (2006), pp. 1511-1522.
(2005), pp. 541-552.
(2005), pp. 1064-1065.
(2003), pp. 159-168.
ACM Trans. Graph., Vol. 5, No. 3. (July 1986), pp. 211-243.
(1993), pp. 45-55.
IEEE Trans. Softw. Eng., Vol. 24, No. 7. (July 1998), pp. 498-520.
SIGSOFT Softw. Eng. Notes, Vol. 20, No. 4. (October 1995), pp. 128-139.
(2002), pp. 359-370.
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002. Proceedings (2002), pp. 359-370.
(2004), pp. 154-163.
ACM Trans. Softw. Eng. Methodol., Vol. 14, No. 2. (April 2005), pp. 124-167.
Electronic Notes in Theoretical Computer Science, Vol. 139, No. 1. (4 November 2005), pp. 145-168.
Software Quality Journal, Vol. 10, No. 3. (1 November 2002), pp. 205-224.
SIGSOFT Softw. Eng. Notes, Vol. 22, No. 6. (November 1997), pp. 244-261.
Journal of Symbolic Computation, Vol. 25, No. 2. (1998), pp. 161-194.
(1997), pp. 471-478.
Configurable Distributed Systems, 1996. Proceedings., Third International Conference on (1996), pp. 44-51.
(1989), pp. 313-320.
Systems, Man and Cybernetics, 1995. 'Intelligent Systems for the 21st Century'., IEEE International Conference on, Vol. 4 (1995), pp. 3122-3127 vol.4.
(1993), pp. 101-108.
(1999)
(1991), pp. 9-17.
(1991), pp. 173-176.
(1991), pp. 189-194.
(1992), pp. 124-131.
(1991), pp. 284-291.
(1986), pp. 16-23.
ACM Trans. Comput.-Hum. Interact., Vol. 3, No. 2. (June 1996), pp. 162-188.
Systems, Man, and Cybernetics, 1994. 'Humans, Information and Technology'., 1994 IEEE International Conference on, Vol. 1 (1994), pp. 386-390 vol.1.
(1995), pp. 207-215.
(1992), pp. 83-91.
Commun. ACM, Vol. 37, No. 12. (December 1994), pp. 73-83.
ACM Trans. Comput.-Hum. Interact., Vol. 1, No. 2. (June 1994), pp. 126-160.
(2001), pp. 31-40.
(2000), pp. 217-225.
(1990), pp. 875-880.
(1993), pp. 661-676.
(1993), pp. 81-91.
(1987), pp. 175-188.
(1992)
IEEE Transactions on Visualization and Computer Graphics, Vol. 6, No. 1. (\slash 2000), pp. 24-43.