1. M. Barbeau, G. v. Bochmann, Extension of the Karp and Miller Procedure to Lotos Specifications, Computer Aided Verification'90, ACM/AMS DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 3, 1991, pp. 103–119.
2. Proc. of Canadian Conference on Electrical and Computer Engineering;M. Barbeau,1990
3. G. v. Bochmann, Finite State Description of Communication Protocols, Computer Networks, Vol. 2, October 1978, pp. 361–372.
4. H. Ehrig, B. Mahr, Fundamentals of Algebraic Specifications 1, Springer-Verlag, Berlin, 1985.
5. H. Garavel, J. Sifakis, Compilation and Verification of Lotos Specifications, PSTV X, Ottawa, 1990.