Automatically Verified Data Transfer Protocols, Eindhoven Univeristy of Technology (1977)

by Jan Hajek