author : John Herbert

Short works

• A Formalization of Software Architecture. 1999. (In FM'99 volume 1 )