Protocol Specification, Testing and Verification (1983)

by S Aggarwal, R P Kurshan, K K Sabnani