SDL with applications from protocol specification - Belina, Ferenc (BCS practitioner series, 1991)