A tool for relational programmers - Hutton, Graham; Meijer, Erik; Voermans, Ed (Chalmers University, Sweden, 1994)