Author: Finnish Symposium on Computer Science (7th 1995 Liperi, Finland)