Reference:

Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, and Atul Singh. Applying prolog to develop distributed systems. TPLP, 10(4-6):691–707, 2010.

Suggested BibTeX entry:

@article{DBLP:journalstplpLopesNRS10,
    author = {Nuno P. Lopes and Juan Antonio Navarro P{\'e}rez and Andrey Rybalchenko and Atul Singh},
    journal = {TPLP},
    number = {4-6},
    pages = {691-707},
    title = {Applying Prolog to develop distributed systems},
    volume = {10},
    year = {2010}
}