Margaret M. West
-
The use of a logic programming language in the animation of Z specifications
ICLP'07 Proceedings of the 23rd international conference on Logic programming
A declarative coordination language
Computer Languages