A Language-Based Approach To Protocol Implementation (1993)

by Mark Bert Abbott, Mark Bert Abbott