Software Engineering, IEEE Transactions on, Vol. 20, No. 5. (1994), pp. 364-384.
Vol. 39, No. 1. (January 2004), pp. 111-122.
(7 Feb 2006)
(2000), pp. 249-255.
J. ACM, Vol. 12, No. 1. (January 1965), pp. 42-52.
BMC Bioinformatics, Vol. 7 (03 October 2006), 428.
Software and Systems Modeling, Vol. 6, No. 3. (September 2007), pp. 317-347.
(1997)
(14 November 2000)
Artificial Intelligence, Vol. 112, No. 1-2. (1999), pp. 147-179.
Theoretical Computer Science, Vol. 237, No. 1--2. (2000), pp. 275-306.
Multiset Processing: Mathematical, Computer Science, and Molecular Computing Points of View (2001), 123.
International Journal of Foundations of Computer Science, Vol. 8, No. 4. (1997), pp. 379-407.
(1969), pp. 143-148.
(15 May 1992)
Theoretical Computer Science, Vol. 88, No. 2. (October 1991), pp. 191-229.
(01 July 2006)
Journal of Functional Programming, Vol. 14, No. 2. (March 2004), pp. 145-189.
(2001), pp. 164-171.
Journal of Logic Programming, Vol. 24, No. 1&2. (1995), pp. 3-36.
(2003), pp. 223-226.
(2004)