Algebraic system specification and development   
Ed By Michel Bidoit 
 - Berlin  Springer 
 - Lecture notes in computer science .
<br/><br/><label>Dewey Class. No.: </label>512  /