TELECOMMUNICATIONS SYSTEMS ENGINEERING USING SDL - Saracco, Roberto (North-Holland Publishing, 1989)