Proceedings of the 5th International Workshop on Theory-Oriented Software Engineering (Association for Computing Machinery, 2016)