Encoding of Public Records and Procedures in Electronic Registries