Bernd Spanfelner, Christian Leuxner, Wassiou Sitou. Formal specification of system functions. In ICSE Workshop on Modeling in Software Engineering, MiSE 2009, Vancouver, BC, Canada, May 17-18, 2009. pages 26-31, IEEE Computer Society, 2009. [doi]
Abstract is missing.