1. P. Alexander, P. Baraona, and J. Penix, “Application of Software Synthesis Techniques to Composite Systems,” in Computers in Engineering Symposium of ETCE, Houston, TX, Jan. 1995.
2. P. Baraona and P. Alexander, “VSPEC: A Language for Digital System Specification,” in Proceedings of the AI and Systems Engineering Workshop, pages 19–27, August 1994.
3. P. Baraona, J. Penix, and P. Alexander, “VSPEC: A Declarative Requirements Specification Language for VHDL,” Current Issues in Electronic Modeling, June 1995.
4. E. Bertino et al., “Object-Oriented Query Languages: The Notion and the Issues,” IEEE Transactions on Knowledge and Data Engineering, 4(3):223–237, June 1992.
5. M. Brown, “VHDL Intermediate Form Standardization: Process, Issues, and Status,” in EURO-VHDL ′92: Proc. of the 2nd European Design Automation Conference, pages 758–762, Brussels, Belgium, 1992.