Hutton, G., Meijer, E., & Voermans, E. A tool for relational programmers. Chalmers University, Sweden