You are about to access our book library "ESOP '88: 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings (Lecture Notes in Computer Science, 300) full version" .