Berge, Jean-Michel High-level system modeling : specification languages Jean-michel berge, Oz levia and Jacques Rouillard.ed - Dordrecht ; Boston Kluwer Academic Publishers 1995 - xvi,162p ISBN: 9780792396321 Subjects--Topical Terms: Systems Dewey Class. No.: 003.3 BER