Joe L. Armstrong Nabiel A. Elshiewy Robert Virding The Phoning Philosopher's Problem or Logic Programming for Telecommunications Applications. 28-33 1986 SLP db/conf/slp/slp86.html#ArmstrongEV86