Frank Zeyda, Bill Stoddart, Steve Dunne. A Prospective-Value Semantics for the GSL. In Helen Treharne, Steve King, Martin C. Henson, Steve A. Schneider, editors, ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings. Volume 3455 of Lecture Notes in Computer Science, pages 187-202, Springer, 2005. [doi]