Appendix A Implementation details