Andreas Bollin. Crossing the Borderline - From Formal to Semi-Formal Specifications. In Krzysztof Sacha, editor, Software Engineering Techniques: Design for Quality, SET 2006, October 17-20, 2006, Warsaw, Poland. Volume 227 of IFIP, pages 73-84, Springer, 2006. [doi]
Abstract is missing.