Fork algebras in algebra, logic and computer science - Frias, Marcelo Fabian (World Scientific, 2002)