TY  - BOOK
AU  - Turner, Kenneth J.
TI  - Using formal description techniques: An introduction to estelle, lotos, and sdl 
T2  - Wiley series in communication and distributed systems
SN  - 0471934550
AV  - QA76.6 U848
PY  - 1993///
CY  - Chichester
PB  - J. Wiley
KW  - Programación de computadoras
KW  - Lenguajes formales
ER  -