Stephen Correl , Daniel P. Miranker "On isolation, concurrency, and the Venus rule language"

(1995) Proceedings of the fourth international conference on Information and knowledge management December 1995  

Languages mentioned Venus {1991}