Martin P. Ward, Hussein Zedan. Transformational Programming and the Derivation of Algorithms. In Erol Gelenbe, Ricardo Lent, Georgia Sakellari, Ahmet Sacan, Ismail Hakki Toroslu, Adnan Yazici, editors, Computer and Information Sciences - Proceedings of the 25th International Symposium on Computer and Information Sciences, London, UK, September 22-24, 2010. Volume 62 of Lecture Notes in Electrical Engineering, pages 17-22, Springer, 2010. [doi]
Abstract is missing.