1. The existence of refinement mappings;Abadi;Theoretical Computer Science,1991
2. The Design and Analysis of Computer Algorithms;Aho,1974
3. A note on reliable full-duplex transmission over half-duplex lines;Bartlett;Comm. of the ACM,1969
4. Spacetime trade-offs in hash coding with allowable errors;Bloom;Comm. of the ACM,2004
5. Bochmann G.V., “Finite state description of communications protocols”, Publication No. 236, Département d'informatique, Université de Montreal, July 1976