Karen Fitzgerald;Paul Wallich
-;-
Using Flat Concurrent Prolog in System Modeling
IEEE Transactions on Software Engineering