shape-recursion.bib

@techreport{agryman:shape-recursion,
	author = {Ryman, Arthur},
	title = {agryman/shape-recursion},
	type = {source code repository},
	year = 2015,
	mon = nov,
	institution = {GitHub},
	note = {\url{https://github.com/agryman/shape-recursion}}
}

@techreport{w3c:shapeswg,
	author = {Le Hors, Arnaud},
	title = {RDF Data Shapes Working Group},
	type = {wiki page},
	year = 2014,
	month = sep,
	institution = {World Wide Web Consortium},
	note = {\url{https://www.w3.org/2014/data-shapes/wiki/Main_Page}}
}

@techreport{tbl:ld,
	author = {Tim Berners-Lee},
	title = {Linked Data},
	type = {web page},
	year = 2009,
	month = jun,
	institution = {World Wide Web Consortium},
	note = {\url{http://www.w3.org/DesignIssues/LinkedData.html}}
}

@techreport{foaf:spec,
	author = {Dan Brickley and Libby Miller},
	title = {{FOAF Vocabulary Specification 0.99}},	
	type = {web page},
	year = 2014,
	month = jan,
	institution = {{The FOAF Project}},
	note = {\url{http://xmlns.com/foaf/spec/20140114.html}}
}

@techreport{w3c:xsd11,
	author = {Shudi (Sandy) Gao and C. M. Sperberg-McQueen and Henry S. Thompson},
	title = {{W3C XML Schema Definition Language (XSD) 1.1 Part 1: Structures}},	
	type = {{W3C} {R}ecommendation},
	year = 2012,
	month = apr,
	institution = {World Wide Web Consortium},
	note = {\url{http://www.w3.org/TR/2012/REC-xmlschema11-1-20120405/}}
}

@techreport{w3c:sparql11,
	author = {Steve Harris and Andy Seaborne},
	title = {{SPARQL 1.1 Query Language}},	
	type = {{W3C} {R}ecommendation},
	year = 2013,
	month = mar,
	institution = {World Wide Web Consortium},
	note = {\url{http://www.w3.org/TR/2013/REC-sparql11-query-20130321/}}
}

@techreport{w3c:rdfs11,
	author = {Dan Brickely and R.V. Guha},
	title = {{RDF Schema 1.1}},	
	type = {{W3C} {R}ecommendation},
	year = 2014,
	month = feb,
	institution = {World Wide Web Consortium},
	note = {\url{http://www.w3.org/TR/2014/REC-rdf-schema-20140225/}}
}

@techreport{w3c:rdf11,
	author = {Richard Cyganiak and David Wood and Markus Lanthaler},
	title = {{RDF 1.1 Concepts and Abstract Syntax}},	
	type = {{W3C} {R}ecommendation},
	year = 2014,
	month = feb,
	institution = {World Wide Web Consortium},
	note = {\url{http://www.w3.org/TR/2014/REC-rdf11-concepts-20140225/}}
}

@techreport{w3c:owl2,
	author = {Boris Motik and Peter F. Patel-Schneider and Bijan Parsia},
	title = {{OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax (Second Edition)}},	
	type = {{W3C} {R}ecommendation},
	year = 2012,
	month = dec,
	institution = {World Wide Web Consortium},
	note = {\url{http://www.w3.org/TR/2012/REC-owl2-syntax-20121211/}}
}

@techreport{w3c:turtle11,
	author = {David Beckett and Tim Berners-Lee and Eric Prud'hommeaux and Gavin Carothers},
	title = {{RDF 1.1 Turtle}},	
	type = {{W3C} {R}ecommendation},
	year = 2014,
	month = feb,
	institution = {World Wide Web Consortium},
	note = {\url{http://www.w3.org/TR/2014/REC-turtle-20140225/}}
}

@techreport{arthur:rs,
	author = {Arthur Ryman},
	title = {{Resource Shape 2.0}},
	type = {{W3C} {M}ember {S}ubmission},
	year = 2014,
	month = feb,
	institution = {World Wide Web Consortium},
	note = {\url{http://www.w3.org/Submission/2014/SUBM-shapes-20140211/}}
}

@techreport{harold:shex-def,
	author = {Harold Solbrig and Eric Prud'hommeaux},
	title = {{Shape Expressions 1.0 Definition}},
	type = {{W3C} {M}ember {S}ubmission},
	year = 2014,
	month = jun,
	institution = {World Wide Web Consortium},
	note = {\url{http://www.w3.org/Submission/2014/SUBM-shex-defn-20140602/}}
}

@techreport{peter:shacl,
	author = {Peter Patel-Schneider},
	title = {{A SHACL Specification based on SPARQL}},
	type = {wiki page},
	year = 2015,
	institution = {World Wide Web Consortium},
	note = {\url{https://www.w3.org/2014/data-shapes/wiki/Shacl-sparql}}
}

@techreport{peter:polentoni,
	author = {Peter Patel-Schneider},
	title = {{example of recursive shapes}},
	type = {mailing list},
	year = 2015,
	institution = {World Wide Web Consortium},
	note = {\url{https://lists.w3.org/Archives/Public/public-data-shapes-wg/2015Jan/0160.html}}
}

@techreport{peter:re-recursion,
	author = {Peter Patel-Schneider},
	title = {{Re: Recursion in RDF Data Shape Languages}},
	type = {mailing list},
	year = 2015,
	institution = {World Wide Web Consortium},
	note = {\url{https://lists.w3.org/Archives/Public/public-data-shapes-wg/2015May/0111.html}}
}

@techreport{spivey:fuzz,
	author = {Mike Spivey},
	title = {The fuzz type-checker for {Z}},
	type = {web page},
	year = 2008,
	institution = {Oxford University},
	note = {\url{https://spivey.oriel.ox.ac.uk/mike/fuzz/}}
}

@book{spivey:zrm,
	author = {Mike Spivey},
	title = {The {Z} {N}otation: a reference manual},
	publisher = {Prentice Hall},
	year = 2001,
	note = {\url{https://spivey.oriel.ox.ac.uk/mike/zrm/index.html}}
}