Hasan Ural Specifications of distributed systems in prolog. 143-154 1990 11 Journal of Systems and Software 2 http://dx.doi.org/10.1016/0164-1212(90)90058-T db/journals/jss/jss11.html#Ural90