@TechReport{      Plotkine,
  Author        = "Plotkin, Gordon",
  Abstract      = "Syntax of a very simple programming language called L. What is abstract about it will be discussed a little here and later at greater length. For us syntax is a collection of syntactic sets of phrases; each set corresponds to a different type of phrase. Some of these sets are very simple and can be taken as given: Truthvalues This is the set T = ftt; ffg and is ranged over by (the metavariable) t (and we also happily employ for this (and any other) metavariable sub- and super-scripts to...",
  added-at      = "2009-02-12T11:21:23.000+0100",
  Address       = "University of Aarhus",
  biburl        = "http://www.bibsonomy.org/bibtex/212718b2f176aaf6ce4c8d8510b355d2f/leonardo",
  citeulike-article-id="1437",
  date-added    = "2013-03-26 10:34:36 +0000",
  date-modified = "2013-03-26 11:06:07 +0000",
  description   = "New Version: http://www.citeulike.org/user/leonardo/article/696122",
  interhash     = "dc29e6898bdbd34bfae6cd829f8a7f86",
  intrahash     = "12718b2f176aaf6ce4c8d8510b355d2f",
  Keywords      = "structural operational semantics and classic",
  Number        = "DAIMI FN-19",
  posted-at     = "2006-04-03 16:06:43",
  priority      = "2",
  timestamp     = "2009-02-12T11:21:23.000+0100",
  Title         = "A Structural Approach to Operational Semantics",
  URL           = "http://citeseer.ist.psu.edu/plotkin81structural.html",
  Year          = "1981",
  bdsk-url-1    = "http://citeseer.ist.psu.edu/plotkin81structural.html",
  File          = "A Structural Approach to Operational Semantics - Plotkin (0) (0) - a - a - t.pdf",
  file-2        = "A Structural Approach to Operational Semantics - Plotkin (1) (0) - a - a - t.pdf"
}

@TechReport{ Plotkine, Author = "Plotkin, Gordon", Abstract = "Syntax of a very simple programming language called L. What is abstract about it will be discussed a little here and later at greater length. For us syntax is a collection of syntactic sets of phrases; each set corresponds to a different type of phrase. Some of these sets are very simple and can be taken as given: Truthvalues This is the set T = ftt; ffg and is ranged over by (the metavariable) t (and we also happily employ for this (and any other) metavariable sub- and super-scripts to...", added-at = "2009-02-12T11:21:23.000+0100", Address = "University of Aarhus", biburl = "http://www.bibsonomy.org/bibtex/212718b2f176aaf6ce4c8d8510b355d2f/leonardo", citeulike-article-id="1437", date-added = "2013-03-26 10:34:36 +0000", date-modified = "2013-03-26 11:06:07 +0000", description = "New Version: http://www.citeulike.org/user/leonardo/article/696122", interhash = "dc29e6898bdbd34bfae6cd829f8a7f86", intrahash = "12718b2f176aaf6ce4c8d8510b355d2f", Keywords = "structural operational semantics and classic", Number = "DAIMI FN-19", posted-at = "2006-04-03 16:06:43", priority = "2", timestamp = "2009-02-12T11:21:23.000+0100", Title = "A Structural Approach to Operational Semantics", URL = "http://citeseer.ist.psu.edu/plotkin81structural.html", Year = "1981", bdsk-url-1 = "http://citeseer.ist.psu.edu/plotkin81structural.html", File = "A Structural Approach to Operational Semantics - Plotkin (0) (0) - a - a - t.pdf", file-2 = "A Structural Approach to Operational Semantics - Plotkin (1) (0) - a - a - t.pdf" }