Logic grammars - Abramson, Harvey,Dahl, Veronica (Springer, 1989)