Protocol specification and testing - Tarnay, Katie, 1933- (Plenum Press, 1991)