SDL with applications from protocol specification - Belina, Ferenc (Prentice Hall, 1991)