@prefix dcterms1: <http://purl.org/dc/terms#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://data.bibliotheken.nl/id/nbt/p062334719> a schema1:Book,
        schema1:CreativeWork,
        schema1:ProductModel ;
    rdfs:label "A formalisation of design methods : a →l⇋[lambda]-calculus approach to system design with an application to text editing / Laurentius Michiel Gerardus Feijs" ;
    dcterms1:issued "1990" ;
    schema1:about <http://data.bibliotheken.nl/id/thes/p075610124>,
        <http://data.bibliotheken.nl/id/thes/p077605306>,
        <http://data.bibliotheken.nl/id/thes/p078569338>,
        <http://data.bibliotheken.nl/id/thes/p078589398>,
        <http://data.bibliotheken.nl/id/thes/p078612217>,
        <http://data.bibliotheken.nl/id/thes/p078669529> ;
    schema1:author <http://data.bibliotheken.nl/id/thes/p075017741> ;
    schema1:description "Proefschrift Technische Universiteit Eindhoven" ;
    schema1:inLanguage "en" ;
    schema1:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/a2fcd1c2045dde116c412e0aa8662559> ;
    schema1:name "A formalisation of design methods : a →l⇋[lambda]-calculus approach to system design with an application to text editing" ;
    schema1:numberOfPages 469 ;
    schema1:publication <https://data.bibliotheken.nl/.well-known/genid/2e6c10d8a5fe4837ffa03ce7d6f6e66c> ;
    schema1:sameAs <http://www.worldcat.org/oclc/71456814> .