By the way, Paul translated it and Yves did the LATEX, not vice versa!
Yves also chose the notation, making it consistent through the book.

Here is the story of how the translation came about: Jean-Yves had
mentioned the notes to Paul at a conference, who obtained them and
took them to read on the train on a visit to his parents. But then he
went down with 'flu. As this was his only reading material and his
French wasn't very good, he started writing out a translation.
He later showed this to Yves, who was then his office-mate. It became
a book because of the enthusiasm of Yves and of Samson Abramsky.

As the book is now out of print, we have provided it on-line in
various formats: