Formal Aspects of Computing : vol. 13, 2002.
Keywords: Journal