"RFC 1144"@cs .