{
  "@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:W00529049600",
      "@type": [
        "http://id.loc.gov/ontologies/bibframe/Work",
        "CreativeWork"
      ],
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000040922"
      },
      "inLanguage": "en",
      "isPartOf": {
        "@id": "http://urn.fi/URN:NBN:fi:bib:me:CFENNI"
      },
      "name": "Procedural abstraction in the refinement calculus",
      "rdau:P60049": {
        "@id": "http://rdaregistry.info/termList/RDAContentType/1020"
      },
      "workExample": {
        "@id": "http://urn.fi/URN:NBN:fi:bib:me:I00529049600"
      }
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00071886400",
      "name": [
        "Rapporter från Åbo akademi, informationsbehandling & matematik",
        "Rapporter från Åbo akademi, infomationsbehandling & matematik",
        "Reports on computer science & mathematics / Åbo Akademi. Ser. B",
        "Rep. comput. sci. math., B",
        "Reports on computer science & mathematics. Ser. A",
        "Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A",
        "Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. B",
        "Rapp. Åbo Akad., Inf.behandl. mat., A",
        "Reports on computer science and mathematics : Ser. B",
        "Rapp. Åbo Akad., Inf.behandl. mat., B",
        "Reports on computer science & mathematics : Ser. A",
        "Reports on computer science and mathematics : Ser. A / Åbo Akademi",
        "Rapporter från Åbo akademi. Informationsbehandling & matematik. Serie B",
        "Rapporter från Åbo Akademi, informationsbehandling & matematik. A",
        "Reports on computer science & mathematics. Ser. B / Åbo Akademi",
        "Rapporter från Åbo Akademi. Informationsbehandling & matematik : Ser. A",
        "Reports on computer science & mathematics : Ser. B / Åbo Akademi",
        "Rapporter från Åbo Akademi. Informationsbehandling & matematik. Serie B",
        "Reports on computer science & mathematics. Ser. B",
        "Rapporter från Åbo Akademi, informationsbehandling & matematik. Ser. A",
        "Rapporter från Åbo akademi. Informationsbehandling & matematik. Ser. B",
        "Reports on computer science & mathematics / Åbo Akademi. Ser. A",
        "Reports on Computer Science & Mathematics / Åbo Akademi. Ser. B",
        "Rapporter från Åbo akademi. Informationsbehandling & matematik. Ser. A",
        "Rapporter från Åbo Akademi, informationsbehandling & matematik : Serie B",
        "Rep. comput. sci. math., A",
        "Reports on computer science & mathematics : Ser. B"
      ]
    },
    {
      "@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:I00529049600",
      "@type": [
        "http://id.loc.gov/ontologies/bibframe/Instance",
        "CreativeWork"
      ],
      "datePublished": "1987",
      "description": "Sarjalla myös engl. nimeke.",
      "exampleOfWork": {
        "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00529049600"
      },
      "identifier": [
        {
          "@id": "_:ub89590bL16C31"
        },
        {
          "@id": "_:ub89590bL12C31"
        },
        {
          "@id": "_:ub89590bL20C31"
        }
      ],
      "isPartOf": [
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00071886400"
        },
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:CFENNI"
        }
      ],
      "isbn": "9516493432",
      "name": "Procedural abstraction in the refinement calculus",
      "numberOfPages": "[1], 29 lehteä",
      "publication": {
        "@id": "_:ub89590bL28C31"
      },
      "publisher": {
        "@id": "_:fd68933d3c633408886e749a779f9698bb1"
      },
      "rdau:P60048": {
        "@id": "http://rdaregistry.info/termList/RDACarrierType/1049"
      },
      "rdau:P60050": {
        "@id": "http://rdaregistry.info/termList/RDAMediaType/1007"
      }
    },
    {
      "@id": "_:fd68933d3c633408886e749a779f9698bb1",
      "name": "Åbo akademi. Departments of Information Processing & Mathematics"
    },
    {
      "@id": "_:ub89590bL16C31",
      "@type": "PropertyValue",
      "propertyID": "skl",
      "value": "fx90636"
    },
    {
      "@id": "_:ub89590bL12C31",
      "@type": "PropertyValue",
      "propertyID": "FI-MELINDA",
      "value": "005290496"
    },
    {
      "@id": "_:ub89590bL20C31",
      "@type": "PropertyValue",
      "propertyID": "FI-FENNI",
      "value": "90636"
    },
    {
      "@id": "_:ub89590bL28C31",
      "location": {
        "@id": "_:ub89590bL28C51"
      },
      "organizer": {
        "@id": "_:fd68933d3c633408886e749a779f9698bb1"
      }
    },
    {
      "@id": "_:ub89590bL28C51",
      "name": "Åbo"
    }
  ]
}