Machine generated authority record.

Work cat.: (OSt)0: de Boer, Frank S. Editor edt 3447, Formal Methods for Components and Objects, Jan. 2011