There is a Arxiv article on Walnut. It would be great to track the source in the documentation repository.