{
  "@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:W00071886400",
      "name": [
        "Reports on computer science & mathematics / Åbo Akademi. Ser. A",
        "Reports on computer science and mathematics : Ser. B",
        "Rapporter från Åbo Akademi, informationsbehandling & matematik. Ser. A",
        "Reports on computer science & mathematics : Ser. B / Åbo Akademi",
        "Reports on Computer Science & Mathematics / Åbo Akademi. Ser. 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. B",
        "Rep. comput. sci. math., A",
        "Rapporter från Åbo Akademi, informationsbehandling & matematik : Serie B",
        "Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A",
        "Rapporter från Åbo Akademi. Informationsbehandling & matematik. Serie B",
        "Reports on computer science & mathematics. Ser. B",
        "Reports on computer science & mathematics / Åbo Akademi. Ser. B",
        "Rapp. Åbo Akad., Inf.behandl. mat., A",
        "Reports on computer science & mathematics. Ser. A",
        "Rapp. Åbo Akad., Inf.behandl. mat., B",
        "Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. B",
        "Rapporter från Åbo akademi, informationsbehandling & matematik",
        "Rep. comput. sci. math., B",
        "Reports on computer science & mathematics : Ser. B",
        "Reports on computer science and mathematics : Ser. A / Åbo Akademi",
        "Rapporter från Åbo akademi. Informationsbehandling & matematik. Ser. A",
        "Reports on computer science & mathematics : Ser. A",
        "Rapporter från Åbo Akademi. Informationsbehandling & matematik : Ser. A",
        "Rapporter från Åbo akademi. Informationsbehandling & matematik. Serie B",
        "Rapporter från Åbo akademi, infomationsbehandling & matematik"
      ]
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00529049300",
      "@type": [
        "CreativeWork",
        "http://id.loc.gov/ontologies/bibframe/Work"
      ],
      "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": "A calculus of refinement for program derivations",
      "rdau:P60049": {
        "@id": "http://rdaregistry.info/termList/RDAContentType/1020"
      },
      "workExample": {
        "@id": "http://urn.fi/URN:NBN:fi:bib:me:I00529049300"
      }
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:I00529049300",
      "@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:W00529049300"
      },
      "identifier": [
        {
          "@id": "_:ub43235bL22C31"
        },
        {
          "@id": "_:ub43235bL30C31"
        },
        {
          "@id": "_:ub43235bL26C31"
        }
      ],
      "isPartOf": [
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:CFENNI"
        },
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00071886400"
        }
      ],
      "isbn": "9516493424",
      "name": "A calculus of refinement for program derivations",
      "numberOfPages": "[1], 30 lehteä",
      "publication": {
        "@id": "_:ub43235bL38C31"
      },
      "publisher": {
        "@id": "_:f099850a17e4447a4b61742b9e2defe90b1"
      },
      "rdau:P60048": {
        "@id": "http://rdaregistry.info/termList/RDACarrierType/1049"
      },
      "rdau:P60050": {
        "@id": "http://rdaregistry.info/termList/RDAMediaType/1007"
      }
    },
    {
      "@id": "_:ub43235bL22C31",
      "@type": "PropertyValue",
      "propertyID": "skl",
      "value": "fx90635"
    },
    {
      "@id": "_:ub43235bL30C31",
      "@type": "PropertyValue",
      "propertyID": "FI-FENNI",
      "value": "90635"
    },
    {
      "@id": "_:ub43235bL38C31",
      "location": {
        "@id": "_:ub43235bL38C51"
      },
      "organizer": {
        "@id": "_:f099850a17e4447a4b61742b9e2defe90b1"
      }
    },
    {
      "@id": "_:ub43235bL38C51",
      "name": "Åbo"
    },
    {
      "@id": "_:f099850a17e4447a4b61742b9e2defe90b1",
      "name": "Åbo akademi. Departments of Information Processing & Mathematics"
    },
    {
      "@id": "_:ub43235bL26C31",
      "@type": "PropertyValue",
      "propertyID": "FI-MELINDA",
      "value": "005290493"
    },
    {
      "@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"
    }
  ]
}