ผู้เขียน: Christine Choppy

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

Christine Choppy & Oleg Sokolsky: Foundations of Computer Software: Future Trends and Techniques for Development