<http://id.loc.gov/authorities/names/n2001001216> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#PersonalName> .
<http://id.loc.gov/authorities/names/n2001001216> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> .
<http://id.loc.gov/authorities/names/n2001001216> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Derrick, John, 1963-" .
<http://id.loc.gov/authorities/names/n2001001216> <http://www.loc.gov/mads/rdf/v1#elementList> _:b7iddOtlocdOtgovauthoritiesnamesn2001001216 .
_:b7iddOtlocdOtgovauthoritiesnamesn2001001216 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b8iddOtlocdOtgovauthoritiesnamesn2001001216 .
_:b7iddOtlocdOtgovauthoritiesnamesn2001001216 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:b010 .
_:b8iddOtlocdOtgovauthoritiesnamesn2001001216 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#FullNameElement> .
_:b8iddOtlocdOtgovauthoritiesnamesn2001001216 <http://www.loc.gov/mads/rdf/v1#elementValue> "Derrick, John," .
_:b010 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b11iddOtlocdOtgovauthoritiesnamesn2001001216 .
_:b010 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b11iddOtlocdOtgovauthoritiesnamesn2001001216 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#DateNameElement> .
_:b11iddOtlocdOtgovauthoritiesnamesn2001001216 <http://www.loc.gov/mads/rdf/v1#elementValue> "1963-" .
<http://id.loc.gov/authorities/names/n2001001216> <http://id.loc.gov/ontologies/bflc/marcKey> "1001 $aDerrick, John,$d1963-" .
<http://id.loc.gov/authorities/names/n2001001216> <http://www.loc.gov/mads/rdf/v1#hasCloseExternalAuthority> <http://www.wikidata.org/entity/Q6229241> .
<http://id.loc.gov/authorities/names/n2001001216> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection> <http://id.loc.gov/authorities/names/collection_NamesAuthorizedHeadings> .
<http://id.loc.gov/authorities/names/n2001001216> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection> <http://id.loc.gov/authorities/names/collection_LCNAF> .
<http://id.loc.gov/authorities/names/n2001001216> <http://www.loc.gov/mads/rdf/v1#hasExactExternalAuthority> <http://viaf.org/viaf/sourceID/LC%7Cn+2001001216#skos:Concept> .
<http://id.loc.gov/authorities/names/n2001001216> <http://www.loc.gov/mads/rdf/v1#identifiesRWO> <http://id.loc.gov/rwo/agents/n2001001216> .
<http://id.loc.gov/rwo/agents/n2001001216> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#RWO> .
<http://id.loc.gov/rwo/agents/n2001001216> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Person> .
<http://id.loc.gov/rwo/agents/n2001001216> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://id.loc.gov/rwo/agents/n2001001216> <http://www.w3.org/2000/01/rdf-schema#label> "Derrick, John, 1963-" .
<http://id.loc.gov/rwo/agents/n2001001216> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/19107804> .
<http://id.loc.gov/resources/works/19107804> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/19107804> <http://id.loc.gov/ontologies/bflc/aap> "ABZ (Conference) (3rd : 2012 : Pisa, Italy) Abstract state machines, Alloy, B, VDM, and Z" .
<http://id.loc.gov/rwo/agents/n2001001216> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/12294697> .
<http://id.loc.gov/resources/works/12294697> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/12294697> <http://id.loc.gov/ontologies/bflc/aap> "Derrick, John, 1963- Refinement in Z and Object-Z" .
<http://id.loc.gov/rwo/agents/n2001001216> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/12329359> .
<http://id.loc.gov/resources/works/12329359> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/12329359> <http://id.loc.gov/ontologies/bflc/aap> "Formal methods for distributed processing" .
<http://id.loc.gov/rwo/agents/n2001001216> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/14846908> .
<http://id.loc.gov/resources/works/14846908> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/14846908> <http://id.loc.gov/ontologies/bflc/aap> "FORTE 2007 (2007 : Tallinn, Estonia) Formal techniques for networked and distributed systems" .
<http://id.loc.gov/rwo/agents/n2001001216> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/13502719> .
<http://id.loc.gov/resources/works/13502719> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/13502719> <http://id.loc.gov/ontologies/bflc/aap> "International Conference on Integrated Formal Methods (4th : 2004 : Canterbury, England) Integrated formal methods" .
<http://id.loc.gov/rwo/agents/n2001001216> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/17289704> .
<http://id.loc.gov/resources/works/17289704> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/17289704> <http://id.loc.gov/ontologies/bflc/aap> "International Conference on Integrated Formal Methods (9th : 2012 : Pisa, Italy) Integrated formal methods" .
<http://id.loc.gov/authorities/names/n2001001216> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSScheme> <http://id.loc.gov/authorities/names> .
<http://id.loc.gov/authorities/names/n2001001216> <http://id.loc.gov/vocabulary/identifiers/lccn> "n 2001001216" .
<http://id.loc.gov/authorities/names/n2001001216> <http://www.loc.gov/mads/rdf/v1#hasSource> _:b53iddOtlocdOtgovauthoritiesnamesn2001001216 .
_:b53iddOtlocdOtgovauthoritiesnamesn2001001216 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Source> .
_:b53iddOtlocdOtgovauthoritiesnamesn2001001216 <http://www.loc.gov/mads/rdf/v1#citationSource> "Derrick, John. Refinement in Z and Object-Z, 2001:" .
_:b53iddOtlocdOtgovauthoritiesnamesn2001001216 <http://www.loc.gov/mads/rdf/v1#citationNote> "CIP t.p. (John Derrick) t.p. verso (John Derrick, BSc., Dphil; Computing Lab., Univ. of Kent at Canterbury, Canterbury, Kent.) datasheet (b. Mar. 7, 1963)" .
_:b53iddOtlocdOtgovauthoritiesnamesn2001001216 <http://www.loc.gov/mads/rdf/v1#citationStatus> "found" .
<http://id.loc.gov/authorities/names/n2001001216> <http://www.loc.gov/mads/rdf/v1#adminMetadata> _:b61iddOtlocdOtgovauthoritiesnamesn2001001216 .
_:b61iddOtlocdOtgovauthoritiesnamesn2001001216 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/RecordInfo#RecordInfo> .
_:b61iddOtlocdOtgovauthoritiesnamesn2001001216 <http://id.loc.gov/ontologies/RecordInfo#recordChangeDate> "2001-02-01T00:00:00"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b61iddOtlocdOtgovauthoritiesnamesn2001001216 <http://id.loc.gov/ontologies/RecordInfo#recordStatus> "new"^^<http://www.w3.org/2001/XMLSchema#string> .
_:b61iddOtlocdOtgovauthoritiesnamesn2001001216 <http://id.loc.gov/ontologies/RecordInfo#recordContentSource> <http://id.loc.gov/vocabulary/organizations/dlc> .
_:b61iddOtlocdOtgovauthoritiesnamesn2001001216 <http://id.loc.gov/ontologies/RecordInfo#languageOfCataloging> <http://id.loc.gov/vocabulary/iso639-2/eng> .