Classification and Retrieval of Reusable Components Using Semantic Features. - John Penix; Phillip Baraona; Perry Alexander (KBSE, 1995)

Representing abstract architectures with axiomatic specifications and activation conditions. - Phillip Baraona; Perry Alexander (ECBS, 1997)

A Brief Summary of VSPEC. - Perry Alexander; Murali Rangarajan; Phillip Baraona (World Congress on Formal Methods, 1999)

Abstract Architecture Representation Using VSPEC. - Phillip Baraona; Perry Alexander (VLSI Design, 1999)