It's a long shot but is that appendix around by any chance?

Mehdi

the paper had an appendix that described UTF-8's encoding rigorously, but that was dropped