1. S. Badr, Luqi, Automation Support for Concurrent Software Engineering, Proc. 6th Internat. Conf. on Software Engineering and Knowledge Engineering, Jurmala, Latvia, 20–23 June, 1994, pp. 46–53.
2. Formal methods;Berry;Sci. Comput. Programming,2002
3. Luqi, An introduction to the specification language spec;Berzins;IEEE Software,1990
4. V. Berzins, Luqi, Software Engineering with Abstractions: An Integrated Approach to Software Development using Ada, Addison-Wesley Publishing Company, Reading, MA, 1991, ISBN 0-201-08004-4.
5. V. Berzins, Software Merging and Slicing, IEEE Computer Society Press Tutorial, Silverspring, MD, 1995, ISBN 0-8186-6792-3.