Logic and Programming
Parent, Michel.
Parent, Michel.
London Kogan Page
1984