@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:bib:me:W00005414700> schema:contributor <http://urn.fi/URN:NBN:fi:au:pn:000070051> ;
    schema:name "A monitoring system for a transputer-based multiprocessor" .

<http://urn.fi/URN:NBN:fi:bib:me:W00005875700> schema:contributor <http://urn.fi/URN:NBN:fi:au:pn:000070051> ;
    schema:name "Millipede - a programming environment providing visual support for parallel programming" .

<http://urn.fi/URN:NBN:fi:bib:me:W00076472300> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000070051> ;
    schema:name "Specification and implementation of a simple message passing system using TLA" .

<http://urn.fi/URN:NBN:fi:bib:me:W00080353300> schema:contributor <http://urn.fi/URN:NBN:fi:au:pn:000070051> ;
    schema:name "Developing a customisable programming environment for message passing based systems" .

<http://urn.fi/URN:NBN:fi:bib:me:W00081061000> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000070051> ;
    schema:name "TkWinHOL : a tool for doing window inference in HOL" .

<http://urn.fi/URN:NBN:fi:bib:me:W00088078000> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000070051> ;
    schema:name "Refining reactive systems in HOL using action system[s]" .

<http://urn.fi/URN:NBN:fi:bib:me:W00088088400> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000070051> ;
    schema:name "An interactive environment supporting the development of formally correct programs" .

<http://urn.fi/URN:NBN:fi:au:pn:000070051> a schema:Person ;
    schema:name "Långbacka, T" .