Non abbiamo ancora una biografia di Quebec 1986.
Pubblicato in Inglese
Protocol specification, testing and verification, VI
1987
