{
  "@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:au:pn:000040922",
      "name": "Back, Ralph-Johan"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:I00004833900",
      "@type": [
        "CreativeWork",
        "http://id.loc.gov/ontologies/bibframe/Instance"
      ],
      "datePublished": "1989",
      "description": [
        "kuvitettu",
        "Sarjalla myös engl. nimeke."
      ],
      "exampleOfWork": {
        "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00004833800"
      },
      "identifier": [
        {
          "@id": "_:ub78494bL68C31"
        },
        {
          "@id": "_:ub78494bL76C31"
        },
        {
          "@id": "_:ub78494bL72C31"
        }
      ],
      "isPartOf": [
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:CFENNI"
        },
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00071886400"
        }
      ],
      "isbn": "9516496520",
      "name": "Refinement calculus : Part 2, Parallel and reactive programs",
      "numberOfPages": "[1], 29 lehteä",
      "publication": {
        "@id": "_:ub78494bL84C31"
      },
      "publisher": {
        "@id": "_:f9581da01c55943ceb9f058586a0c7915b2"
      },
      "rdau:P60048": {
        "@id": "http://rdaregistry.info/termList/RDACarrierType/1049"
      },
      "rdau:P60050": {
        "@id": "http://rdaregistry.info/termList/RDAMediaType/1007"
      }
    },
    {
      "@id": "_:ub78494bL68C31",
      "@type": "PropertyValue",
      "propertyID": "skl",
      "value": "fx185081"
    },
    {
      "@id": "_:f9581da01c55943ceb9f058586a0c7915b2",
      "name": "Åbo akademi"
    },
    {
      "@id": "_:ub78494bL76C31",
      "@type": "PropertyValue",
      "propertyID": "FI-FENNI",
      "value": "185081"
    },
    {
      "@id": "_:ub78494bL72C31",
      "@type": "PropertyValue",
      "propertyID": "FI-MELINDA",
      "value": "000048339"
    },
    {
      "@id": "_:ub78494bL84C31",
      "location": {
        "@id": "_:ub78494bL84C51"
      },
      "organizer": {
        "@id": "_:f9581da01c55943ceb9f058586a0c7915b2"
      }
    },
    {
      "@id": "_:ub78494bL84C51",
      "name": "Åbo"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00071886400",
      "name": [
        "Reports on computer science & mathematics : Ser. B / Åbo Akademi",
        "Rapporter från Åbo Akademi. Informationsbehandling & matematik : Ser. A",
        "Rep. comput. sci. math., B",
        "Reports on computer science & mathematics. Ser. A",
        "Reports on computer science & mathematics. Ser. B / Åbo Akademi",
        "Reports on computer science and mathematics : Ser. A / Åbo Akademi",
        "Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A",
        "Rapporter från Åbo akademi, informationsbehandling & matematik",
        "Rapporter från Åbo akademi. Informationsbehandling & matematik. Serie B",
        "Reports on Computer Science & Mathematics / Åbo Akademi. Ser. B",
        "Rapporter från Åbo Akademi, informationsbehandling & matematik. Ser. A",
        "Reports on computer science and mathematics : Ser. B",
        "Rapporter från Åbo Akademi, informationsbehandling & matematik : Serie B",
        "Rapp. Åbo Akad., Inf.behandl. mat., B",
        "Reports on computer science & mathematics / Åbo Akademi. Ser. B",
        "Reports on computer science & mathematics : Ser. A",
        "Reports on computer science & mathematics / Åbo Akademi. Ser. A",
        "Rapporter från Åbo Akademi, informationsbehandling & matematik. A",
        "Rep. comput. sci. math., A",
        "Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. B",
        "Rapporter från Åbo akademi. Informationsbehandling & matematik. Ser. B",
        "Reports on computer science & mathematics. Ser. B",
        "Rapporter från Åbo akademi, infomationsbehandling & matematik",
        "Rapp. Åbo Akad., Inf.behandl. mat., A",
        "Rapporter från Åbo akademi. Informationsbehandling & matematik. Ser. A",
        "Reports on computer science & mathematics : Ser. B",
        "Rapporter från Åbo Akademi. Informationsbehandling & matematik. Serie B"
      ]
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:I00004833800",
      "@type": [
        "http://id.loc.gov/ontologies/bibframe/Instance",
        "CreativeWork"
      ],
      "datePublished": "1989",
      "description": "Sarjalla myös engl. nimeke.",
      "exampleOfWork": {
        "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00004833800"
      },
      "identifier": [
        {
          "@id": "_:ub78494bL19C31"
        },
        {
          "@id": "_:ub78494bL23C31"
        },
        {
          "@id": "_:ub78494bL15C31"
        }
      ],
      "isPartOf": [
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:CFENNI"
        },
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00071886400"
        }
      ],
      "isbn": "9516496512",
      "name": "Refinement calculus : Part 1, Sequential nondeterministic programs",
      "numberOfPages": "[1], 27 lehteä",
      "publication": {
        "@id": "_:ub78494bL31C31"
      },
      "publisher": {
        "@id": "_:f9581da01c55943ceb9f058586a0c7915b1"
      },
      "rdau:P60048": {
        "@id": "http://rdaregistry.info/termList/RDACarrierType/1049"
      },
      "rdau:P60050": {
        "@id": "http://rdaregistry.info/termList/RDAMediaType/1007"
      }
    },
    {
      "@id": "_:ub78494bL19C31",
      "@type": "PropertyValue",
      "propertyID": "FI-MELINDA",
      "value": "000048338"
    },
    {
      "@id": "_:ub78494bL23C31",
      "@type": "PropertyValue",
      "propertyID": "FI-FENNI",
      "value": "185080"
    },
    {
      "@id": "_:f9581da01c55943ceb9f058586a0c7915b1",
      "name": "Åbo akademi"
    },
    {
      "@id": "_:ub78494bL15C31",
      "@type": "PropertyValue",
      "propertyID": "skl",
      "value": "fx185080"
    },
    {
      "@id": "_:ub78494bL31C31",
      "location": {
        "@id": "_:ub78494bL31C51"
      },
      "organizer": {
        "@id": "_:f9581da01c55943ceb9f058586a0c7915b1"
      }
    },
    {
      "@id": "_:ub78494bL31C51",
      "name": "Åbo"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:au:pn:000063561",
      "name": "Wright, Joakim von"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00004833800",
      "@type": [
        "CreativeWork",
        "http://id.loc.gov/ontologies/bibframe/Work"
      ],
      "contributor": [
        {
          "@id": "http://urn.fi/URN:NBN:fi:au:pn:000040922"
        },
        {
          "@id": "http://urn.fi/URN:NBN:fi:au:pn:000063561"
        }
      ],
      "inLanguage": "en",
      "isPartOf": {
        "@id": "http://urn.fi/URN:NBN:fi:bib:me:CFENNI"
      },
      "name": [
        "Refinement calculus : Part 1, Sequential nondeterministic programs",
        "Refinement calculus : Part 2, Parallel and reactive programs"
      ],
      "rdau:P60049": {
        "@id": "http://rdaregistry.info/termList/RDAContentType/1020"
      },
      "workExample": [
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:I00004833800"
        },
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:I00004833900"
        }
      ]
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:CFENNI",
      "name": "Fennica"
    }
  ]
}