You are about to access our book library "Symposium on semantics of algorithmic languages; (Lecture notes in mathematics, 188) full version" .