International Workshop, WADT'99(14  France  Sept 1999) <br/><br/>
Recent Trends in Algebraic Development Techniques  Selected Papers 
ed by Didier Bert, Christine Choppy and Peter Mosses 
 - Berlin  Springer  1999 
 - X, 476p 
 - Lecture Notes in Computer Science  1827 .
<br/><br/><label>ISBN: </label>3540678980 
<br/><br/><label>Dewey Class. No.: </label>005.712  / N99