Email Record: Symposium on semantics of algorithmic languages /