Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics. - T. Karvi; Tienari Tienari; Roope Kaivola (Formal Methods Syst. Des., 2005)