Completed rewrite of implementation appendix