Papers of the Symposium on Interpreters and interpretive techniques