author = { Turner, Kenneth J. },

title = { Using formal description techniques an introduction to ESTELLE, LOTOS and SDL },

publisher = {Wiley},

isbn = {0471934550},

isbn = {0471938432},

keywords = { Computers, General , Computer programming , Formal languages , ESTELLE , LOTOS Programmiersprache , SDL },

year = {1993},

abstract = {Auch ohne Diskette erschienen},

abstract = {Literaturverz. S. 409 - 414},

booktitle = {Wiley series in communication and distributed systems},

address = { Chichester [u.a.] },

url = { http://slubdd.de/katalog?TN_libero_mab2 }