@MastersThesis{   Gutkovas:2011aa,
  Author        = "Gutkovas, Ramunas",
  date-added    = "2018-04-16 08:49:55 +0000",
  date-modified = "2018-04-16 08:50:32 +0000",
  Keywords      = "psi-calculi",
  Title         = "Exercising Psi-calculi - A Psi-calculi workbench",
  Year          = "2011",
  File          = "psi-workbench (0) - a - a - o.pdf"
}

@MastersThesis{ Gutkovas:2011aa, Author = "Gutkovas, Ramunas", date-added = "2018-04-16 08:49:55 +0000", date-modified = "2018-04-16 08:50:32 +0000", Keywords = "psi-calculi", Title = "Exercising Psi-calculi - A Psi-calculi workbench", Year = "2011", File = "psi-workbench (0) - a - a - o.pdf" }