1. Recognizing safety and liveness;B Alpern;Distributed Computing,1987
2. Sur les op�rations dans les ensembles abstraits et leur application aux �quations int�grales;S Banach;Fundamenta Mathematicae,1922
3. Scenarios: A Model of Non-determinate Computation;J D Brock;Proc. Formalization of Language Concepts,1981
4. Specification and Development of Interactive Systems
5. Specification and Verification of Concurrent Systems by Causality and Realizability;M Broy;Theoretical Computer Science