Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software