Thomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier. Definition and Correct Refinement of Operation Specifications. In Jürg Kohlas, Bertrand Meyer, André Schiper, editors, Dependable Systems: Software, Computing, Networks, Research Results of the DICS Program. Volume 4028 of Lecture Notes in Computer Science, pages 127-144, Springer, 2006. [doi]
Abstract is missing.