{
  "@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:au:pn:000070051",
      "@type": "Person",
      "name": "Långbacka, T"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00076472300",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000070051"
      },
      "name": "Specification and implementation of a simple message passing system using TLA"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00005414700",
      "contributor": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000070051"
      },
      "name": "A monitoring system for a transputer-based multiprocessor"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00088078000",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000070051"
      },
      "name": "Refining reactive systems in HOL using action system[s]"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00088088400",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000070051"
      },
      "name": "An interactive environment supporting the development of formally correct programs"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00081061000",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000070051"
      },
      "name": "TkWinHOL : a tool for doing window inference in HOL"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00005875700",
      "contributor": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000070051"
      },
      "name": "Millipede - a programming environment providing visual support for parallel programming"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00080353300",
      "contributor": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000070051"
      },
      "name": "Developing a customisable programming environment for message passing based systems"
    }
  ]
}