Search results for: David Parker
Formal Aspects of Computing > 2005 > 17 > 2 > 160-176
Journal of Logic and Algebraic Programming > 2003 > 56 > 1-2 > 23-67
Formal Aspects of Computing > 2005 > 17 > 2 > 160-176
Journal of Logic and Algebraic Programming > 2003 > 56 > 1-2 > 23-67