Proceedings of the 5th International Workshop on Theory-Oriented Software Engineering
ACM Digital Library