Hutton, Graham, Meijer, Erik, Voermans, Ed, "A tool for relational programmers", ,