Non-deterministic concurrent logic programming in Pandora - Bahgat, Reem. (World Scientific, 1993)