@Article{bshoc,

author = {R\u{a}zvan Diaconescu},

title = {Behavioural Specification of Hierarchical Object Composition},

journal = {Theoretical Computer Science},

year = 2005,

volume = 343,

number = 3,

pages = {305--331}

}