Howard Bowman A LOTOS Based Tutorial on Formal Methods for Object-Oriented Distributed Systems. [Citation Graph (0, 0)][DBLP] New Generation Comput., 1998, v:16, n:4, pp:343-372 [Journal]
Sergio Greco Non-Determinism and Weak Constraints in Datalog. [Citation Graph (0, 0)][DBLP] New Generation Comput., 1998, v:16, n:4, pp:373-396 [Journal]