  @mastersthesis{Budzynowski:be,
    address          = {Sydney, Australia},
    author           = {Aleksander Budzynowski},
    month            = oct,
    paperUrl         = {https://trustworthy.systems/publications/theses_public/11/Budzynowski%3Abe.pdf},
    school           = {School of Mechanical and Manufacturing Engineering},
    title            = {Operating System for a Flow-Graph Machine},
    type             = {{BE} Thesis},
    year             = {2011}
  }