id: f7e075b5-ee46-4f82-ae3b-721da6302ba8
url: http://christophermeiklejohn.com/coq/2013/06/11/distributed-data-structures.html