@prefix bf: <http://id.loc.gov/ontologies/bibframe/> .
@prefix bflc: <http://id.loc.gov/ontologies/bflc/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://stage.bcld.info/instances/11454a27-747d-4cda-a7e3-66e8cd45d14c> a bf:Instance ;
    bf:adminMetadata [ a bf:AdminMetadata ;
            bflc:catalogerId "Unknown" ;
            bf:date "2026-09-11" ;
            bf:descriptionAuthentication <http://id.loc.gov/vocabulary/marcauthen/pcc> ;
            bf:descriptionLanguage <http://id.loc.gov/vocabulary/languages/eng> ;
            bf:descriptionLevel <http://id.loc.gov/ontologies/bibframe-2-6-0/> ],
        [ a bf:AdminMetadata ;
            bf:agent <http://id.loc.gov/vocabulary/organizations/cbc> ;
            bf:date "2026-09-11T20:21:08.042252+00:00"^^xsd:dateTime ;
            bf:derivedFrom <http://id.loc.gov/resources/instances/20133388> ;
            bf:status <http://id.loc.gov/vocabulary/mstatus/c> ] ;
    bf:carrier <http://id.loc.gov/vocabulary/carriers/cr> ;
    bf:colorContent <http://id.loc.gov/vocabulary/mcolor/mul> ;
    bf:electronicLocator <http://books.google.com/books?id=1S5VAAAAMAAJ>,
        <http://books.google.com/books?id=7YxVAAAAMAAJ>,
        <http://books.google.com/books?id=II9VAAAAMAAJ>,
        <http://books.google.com/books?id=WoxVAAAAMAAJ>,
        <http://books.google.com/books?id=uI5VAAAAMAAJ>,
        <http://books.google.com/books?id=xYpVAAAAMAAJ>,
        <http://firstsearch.oclc.org>,
        <http://firstsearch.oclc.org/journal=0934-5043;screen=info;ECOIP>,
        <http://link.springer.com/openurl?genre=journal&genre=journal&issn=0934-5043>,
        <https://www.springer.com/journal/165> ;
    bf:extent [ a bf:Extent ;
            rdfs:label "1 online resource" ] ;
    bf:frequency [ a bf:Frequency ;
            rdfs:label "Quarterly" ;
            bf:status <http://id.loc.gov/vocabulary/mstatus/former> ],
        [ a bf:Frequency ;
            rdfs:label "Bimonthly" ;
            bf:date "2008-" ;
            bf:status <http://id.loc.gov/vocabulary/mstatus/current> ],
        <http://id.loc.gov/vocabulary/frequencies/bmn> ;
    bf:identifiedBy [ a bf:Coden ;
            rdf:value "FACME5" ],
        [ a bf:Lccn ;
            rdf:value "   00227046 " ],
        [ a bf:Nbn ;
            bf:source <http://id.loc.gov/vocabulary/nationalbibschemes/bnb> ;
            rdf:value "GBB5G3598" ],
        [ a bf:Local ;
            bf:source <http://id.loc.gov/vocabulary/organizations/uk> ;
            rdf:value "013089440" ] ;
    bf:instanceOf <https://stage.bcld.info/works/42a4f333-4daa-4d7b-b73f-238b31a9aa4b> ;
    bf:issuance <http://id.loc.gov/vocabulary/issuance/serl> ;
    bf:media <http://id.loc.gov/vocabulary/mediaTypes/c> ;
    bf:note [ a bf:Note,
                <http://id.loc.gov/vocabulary/mnotetype/descsource> ;
            rdfs:label "Description based on: Volume 1, issue 1 (March 1989); title from journal contents page (SpringerLink website, viewed Nov. 5, 2009)." ],
        [ a bf:Note,
                <http://id.loc.gov/vocabulary/mnotetype/orig> ;
            rdfs:label "Electronic" ],
        [ a bf:Note,
                <http://id.loc.gov/vocabulary/mnotetype/issuing> ;
            rdfs:label "\"Founded by BCS-FACS, the British Computer Society's Specialist Group in Formal Aspects of Computing Science.\"" ],
        [ a bf:Note,
                <http://id.loc.gov/vocabulary/mnotetype/descsource> ;
            rdfs:label "Latest issue consulted: Volume 33, issue 2 (March 2021) (viewed July 15, 2021)." ],
        [ a bf:Note,
                <http://id.loc.gov/vocabulary/mnotetype/number> ;
            rdfs:label "Began with v. 1, no. 1 (Mar. 1989)." ],
        [ a bf:Note ;
            rdfs:label "from NESLi2 - Springer ( LINK ) : restrictions may apply. Check eJournal Title Search for details." ],
        [ a bf:Note ;
            rdfs:label "Address for accessing the journal using authorization number and password through OCLC FirstSearch Electronic Collections Online" ],
        [ a bf:Note ;
            rdfs:label "Address for accessing the journal from an authorized IP address through OCLC FirstSearch Electronic Collections Online" ] ;
    bf:provisionActivity [ a bf:ProvisionActivity,
                bf:Publication ;
            bflc:simpleAgent "Springer Verlag" ;
            bflc:simplePlace "London" ;
            bf:date "1989/.."^^<http://id.loc.gov/datatypes/edtf> ;
            bf:place <http://id.loc.gov/vocabulary/countries/enk> ;
            bf:status <http://id.loc.gov/vocabulary/mstatus/current> ] ;
    bf:publicationStatement "London: Springer Verlag" ;
    bf:systemRequirement [ a bf:SystemRequirement ;
            rdfs:label "Mode of access: World Wide Web." ] ;
    bf:title [ a bf:Title ;
            bf:mainTitle "Formal aspects of computing" ] .