ผู้เขียน: Peter Mosses

Jose Luiz Fiadeiro & Peter Mosses: Recent Trends in Algebraic Development Techniques

Didier Bert & Christine Choppy: Recent Trends in Algebraic Development Techniques