[{"data": {"name": "Structuring a Z specification to provide a formal framework for autonomous agent systems", "@type": "ScholarlyArticle", "genre": "book-chapter", "author": [{"name": "Michael Luck", "@type": "Person"}, {"name": "Mark D'Inverno", "@type": "Person"}], "@context": "http://schema.org/", "encoding": [{"@type": "MediaObject", "contentUrl": "http://research.gold.ac.uk/8775/1/Structuring%20a%20Z%20specification%20to%20provide%20a%20formal%20framework%20for%20autonomous%20agent%20systems.pdf", "encodingFormat": "application/pdf"}], "publisher": {"name": "Springer Berlin Heidelberg", "@type": "Organization"}, "identifier": [{"@type": "PropertyValue", "value": "10.1007/3-540-60271-2_112", "propertyID": "DOI"}, {"@type": "PropertyValue", "value": "CCLaoDDqyaPpt-CT8bBQ6qUdYMh-CDFZtDy9egSbT-CR77nf36sDupi", "propertyID": "ISCC"}], "datePublished": "1995-01-01"}, "schema": "schema.org", "mediatype": "application/ld+json"}]