Logic Programming: Systematic program development (1990)

by Y Deville