Conclog : a methodological approach to concurrent logic programming / - Jacquet, J.-M. (Springer-Verlag, 1991)