Wydania przez Symposium on Theoretical Aspects of Comp