Modelling Logic Programming Using A Network Of Communicating Machines. - Philip R. Bird; Anthony J. Cowling (PDP, 1994)

Unifying programming paradigms : logic programming and finite state automata. - Philip R. Bird (2000)