@prefix ns1: <http://rdaregistry.info/Elements/u/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://urn.fi/URN:NBN:fi:au:pn:000040922> schema:name "Back, Ralph-Johan" .

<http://urn.fi/URN:NBN:fi:bib:me:I00529049600> a <http://id.loc.gov/ontologies/bibframe/Instance>,
        schema:CreativeWork ;
    ns1:P60048 <http://rdaregistry.info/termList/RDACarrierType/1049> ;
    ns1:P60050 <http://rdaregistry.info/termList/RDAMediaType/1007> ;
    schema:datePublished "1987" ;
    schema:description "Sarjalla myös engl. nimeke." ;
    schema:exampleOfWork <http://urn.fi/URN:NBN:fi:bib:me:W00529049600> ;
    schema:identifier [ a schema:PropertyValue ;
            schema:propertyID "FI-MELINDA" ;
            schema:value "005290496" ],
        [ a schema:PropertyValue ;
            schema:propertyID "skl" ;
            schema:value "fx90636" ],
        [ a schema:PropertyValue ;
            schema:propertyID "FI-FENNI" ;
            schema:value "90636" ] ;
    schema:isPartOf <http://urn.fi/URN:NBN:fi:bib:me:CFENNI>,
        <http://urn.fi/URN:NBN:fi:bib:me:W00071886400> ;
    schema:isbn "9516493432" ;
    schema:name "Procedural abstraction in the refinement calculus" ;
    schema:numberOfPages "[1], 29 lehteä" ;
    schema:publication [ schema:location [ schema:name "Åbo" ] ;
            schema:organizer _:fa7776ecb87244c34b0ae8f377db5b07db1 ] ;
    schema:publisher _:fa7776ecb87244c34b0ae8f377db5b07db1 .

<http://urn.fi/URN:NBN:fi:bib:me:W00071886400> schema:name "Rapp. Åbo Akad., Inf.behandl. mat., A",
        "Rapp. Åbo Akad., Inf.behandl. mat., B",
        "Rapporter från Åbo Akademi, informationsbehandling & matematik : Serie B",
        "Rapporter från Åbo Akademi, informationsbehandling & matematik. A",
        "Rapporter från Åbo Akademi, informationsbehandling & matematik. Ser. A",
        "Rapporter från Åbo Akademi. Informationsbehandling & matematik : Ser. A",
        "Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A",
        "Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. B",
        "Rapporter från Åbo Akademi. Informationsbehandling & matematik. Serie B",
        "Rapporter från Åbo akademi, infomationsbehandling & matematik",
        "Rapporter från Åbo akademi, informationsbehandling & matematik",
        "Rapporter från Åbo akademi. Informationsbehandling & matematik. Ser. A",
        "Rapporter från Åbo akademi. Informationsbehandling & matematik. Ser. B",
        "Rapporter från Åbo akademi. Informationsbehandling & matematik. Serie B",
        "Rep. comput. sci. math., A",
        "Rep. comput. sci. math., B",
        "Reports on Computer Science & Mathematics / Åbo Akademi. Ser. B",
        "Reports on computer science & mathematics / Åbo Akademi. Ser. A",
        "Reports on computer science & mathematics / Åbo Akademi. Ser. B",
        "Reports on computer science & mathematics : Ser. A",
        "Reports on computer science & mathematics : Ser. B",
        "Reports on computer science & mathematics : Ser. B / Åbo Akademi",
        "Reports on computer science & mathematics. Ser. A",
        "Reports on computer science & mathematics. Ser. B",
        "Reports on computer science & mathematics. Ser. B / Åbo Akademi",
        "Reports on computer science and mathematics : Ser. A / Åbo Akademi",
        "Reports on computer science and mathematics : Ser. B" .

<http://urn.fi/URN:NBN:fi:bib:me:W00529049600> a <http://id.loc.gov/ontologies/bibframe/Work>,
        schema:CreativeWork ;
    ns1:P60049 <http://rdaregistry.info/termList/RDAContentType/1020> ;
    schema:author <http://urn.fi/URN:NBN:fi:au:pn:000040922> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://urn.fi/URN:NBN:fi:bib:me:CFENNI> ;
    schema:name "Procedural abstraction in the refinement calculus" ;
    schema:workExample <http://urn.fi/URN:NBN:fi:bib:me:I00529049600> .

<http://urn.fi/URN:NBN:fi:bib:me:CFENNI> schema:name "Fennica" .

_:fa7776ecb87244c34b0ae8f377db5b07db1 schema:name "Åbo akademi. Departments of Information Processing & Mathematics" .