!!Jean- Raymond Abrial- Publications

[List of piblications|http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Abrial:Jean=Raymond.html]
\\ \\