Two-Way Channel with Disconnect, in Denvir et al (3) , section 3.1.3 (1983)

by V R Pratt