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