Lotos Specifications, their Implementations, and their Tests (1987)

by E Brinksma, G Scollo, C Steenbergen
Venue:In Protocol Specification, Testing and Verification