P. LescanneBooksAlgebraic and Logic ProgrammingAlgebraic system specification and developmentAuthor data: Open Library