Author: Italian Conference on Theoretical Computer Science (6th 1998 Prato, Italy)