Appendix A Further Implementation Details