Formal Aspects of Computing : vol. 14, 2003.
Keywords: Journal