@Article{AlgStrucSpec,

author = {R\u{a}zvan Diaconescu and Ionu\c{t} \c{T}u\c{t}u},

title = {On the Algebra of Structured Specifications},

journal = {Theoretical Computer Science},

volume = 412,

number = 28,

pages = {3145--3174},

year = 2011}