Fundamentals of Module Logic for Distributed Object Systems.

Juliana Küster Filipe Fundamentals of Module Logic for Distributed Object Systems. 2000 2000 Journal of Functional and Logic Programming 3 db/journals/jflp/jflp2000.html#Filipe00