A Tight, Practical Integration of Relations and Functions - Harold Boley ((Lecture Notes in Computer Science))