Documents by M.K. Stahl

1985, RFC0953: Hostname Server
1985, RFC0954: NICNAME/WHOIS
1987, RFC1020: Internet numbers
1988, RFC1062: Internet numbers
1989, RFC1117: Internet numbers
1990, RFC1166: Internet numbers