Flexible abbreviation of words in a computer language. - R. G. Loomis; J. Rubin (Commun. ACM, 1963)

An Improved Protocol Validation Technique. - J. Rubin; Colin H. West (Comput. Networks, 1982)