1. Badr, S.: Luqi: Automation Support for Concurrent Software Engineering. In: Proc. of the 6th International Conference Software Engineering and Knowledge Engineering, Jurmala, Latvia, June 20-23, pp. 46–53 (1994)
2. Lecture Notes in Computer Science;F. Bauer,1987
3. Berzins, V.: On Merging Software Enhancements. Acta Informatica 23(6), 607–619 (1986)
4. Berzins, V.: Luqi: An Introduction to the Specification Language Spec. IEEE Software 7(2), 74–84 (1990)
5. Berzins, V.: Luqi: Software Engineering with Abstractions: An Integrated Approach to Software Development using Ada. Addison-Wesley Publishing Company, Reading (1991) ISBN 0-201-08004-4