1. S. Badr, Luqi, Automation support for concurrent software engineering, in: Proceedings of the Sixth International Conference Software Engineering and Knowledge Engineering, Jurmala, Latvia, 20–23 June 1994, pp. 46–53
2. F. Bauer et al., The Munich Project CIP. Vol. II: The Program Change System CIP-S, in: Lecture Notes in Computer Science, vol. 292, Springer, Berlin, 1987
3. On merging software enhancements;Berzins;Acta Inform.,1986
4. V. Berzins, Luqi, An introduction to the specification language Spec, IEEE Software 7 (2) (1990) 74–84
5. V. Berzins, Luqi, Software Engineering with Abstractions: An Integrated Approach to Software Development using Ada, Addison-Wesley, Reading, MA, 1991