J. Nelson Rushton, Dwayne Towell. A Language Facilitating Informal Reasoning about Programs. In Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2007), Boston, Massachusetts, USA, July 9-11, 2007. pages 396, Knowledge Systems Institute Graduate School, 2007.
Abstract is missing.