Author: Italian Conference on Theoretical Computer Science (5th 1995 Ravello, Italy)