10. 謝辞

著者は要件および議論文書 [Basso] に関する仕事について Andrea Basso, Orit Levin, Nermeen Ismail に感謝する.

本メモの版は Roni Even, Colin Perkins, Randell Jesup, Keith Lantz, Harikishan Desineni, Guido Franceschini ほかによって査読され詳細なコメントが寄せられた. 著者はこれらのレビューに謝意を表する.