Pascal R. Serrarens. Declarative Natural Language Specifications. In Peter Achten, Pieter W. M. Koopman, editors, The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday. Volume 8106 of Lecture Notes in Computer Science, pages 127-132, Springer, 2013. [doi]
Abstract is missing.