"Foundations of Logic and Functional Programming" - читать интересную книгу автора (Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi)