{
  "@context": {
    "@vocab": "http://schema.org/",
    "rdau": "http://rdaregistry.info/Elements/u/",
    "skos": "http://www.w3.org/2004/02/skos/core#",
    "skos:prefLabel": {
      "@container": "@language"
    }
  },
  "@graph": [
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:I00012962200",
      "@type": [
        "http://id.loc.gov/ontologies/bibframe/Instance",
        "CreativeWork"
      ],
      "datePublished": "1996",
      "exampleOfWork": {
        "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00012962200"
      },
      "identifier": [
        {
          "@id": "_:ub73152bL28C31"
        },
        {
          "@id": "_:ub73152bL20C31"
        },
        {
          "@id": "_:ub73152bL24C31"
        }
      ],
      "isPartOf": [
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00082440800"
        },
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:CFENNI"
        }
      ],
      "isbn": "951650812X",
      "name": "Interpreting nondeterminism in the refinement calculus",
      "numberOfPages": "16, [2] s.",
      "publication": {
        "@id": "_:ub73152bL36C31"
      },
      "publisher": {
        "@id": "http://urn.fi/URN:NBN:fi:au:cn:68949A"
      },
      "rdau:P60048": {
        "@id": "http://rdaregistry.info/termList/RDACarrierType/1049"
      },
      "rdau:P60050": {
        "@id": "http://rdaregistry.info/termList/RDAMediaType/1007"
      }
    },
    {
      "@id": "_:ub73152bL36C31",
      "location": {
        "@id": "_:ub73152bL36C51"
      },
      "organizer": {
        "@id": "http://urn.fi/URN:NBN:fi:au:cn:68949A"
      }
    },
    {
      "@id": "_:ub73152bL36C51",
      "name": "Turku"
    },
    {
      "@id": "_:ub73152bL28C31",
      "@type": "PropertyValue",
      "propertyID": "skl",
      "value": "fx613468"
    },
    {
      "@id": "_:ub73152bL20C31",
      "@type": "PropertyValue",
      "propertyID": "FI-FENNI",
      "value": "613468"
    },
    {
      "@id": "_:ub73152bL24C31",
      "@type": "PropertyValue",
      "propertyID": "FI-MELINDA",
      "value": "000129622"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:au:pn:000063561",
      "name": "Wright, Joakim von"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00012962200",
      "@type": [
        "http://id.loc.gov/ontologies/bibframe/Work",
        "CreativeWork"
      ],
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000040922"
      },
      "contributor": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000063561"
      },
      "inLanguage": "en",
      "isPartOf": {
        "@id": "http://urn.fi/URN:NBN:fi:bib:me:CFENNI"
      },
      "name": "Interpreting nondeterminism in the refinement calculus",
      "rdau:P60049": {
        "@id": "http://rdaregistry.info/termList/RDAContentType/1020"
      },
      "workExample": {
        "@id": "http://urn.fi/URN:NBN:fi:bib:me:I00012962200"
      }
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:CFENNI",
      "name": "Fennica"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:au:pn:000040922",
      "name": "Back, Ralph-Johan"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00082440800",
      "name": [
        "TUCS gen. publ",
        "TUCS general publication",
        "TUCS technical report",
        "Turku Centre for Computer Science technical reports",
        "TUCS general publications",
        "Turku Centre for Computer Science general publications",
        "TUCS tech. rep",
        "TUCS technical report, 1239-1891",
        "TUCS technical reports"
      ]
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:au:cn:68949A",
      "name": "Turun tietotekniikan tutkimus- ja koulutuskeskus"
    }
  ]
}