Title: Protocol specification, testing and verification, XII
First published: 1992