Monteiro, L., A Logic for Distributed Processes, Ph.D. thesis (in Portuguese), Technical Report, Dep. InformAtica, FCT, Universidade Nova de Lisboa, 1983.

Languages mentioned

• Delta Prolog {1984}