@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}
}