Appendix AImplementationdetails