Lassen, Søren B.

• BRICS Report Series No. 24 (1997): RS-24 Relational Reasoning about Contexts - Articles
  Relational Reasoning about Contexts
  Abstract  PDF
• BRICS Report Series No. 25 (1995): RS-25 Basic Action Theory - Articles
  Basic Action Theory
  Abstract  PDF
• BRICS Report Series No. 4 (2007): RS-4 A Complete, Co-Inductive Syntactic Theory of Sequential Control and State - Articles
  A Complete, Co-Inductive Syntactic Theory of Sequential Control and State
  Abstract  PDF
• BRICS Report Series No. 55 (1998): RS-55 Compilation and Equivalence of Imperative Objects (Revised Report) - Articles
  Compilation and Equivalence of Imperative Objects (Revised Report)
  Abstract  PDF
• BRICS Report Series No. 19 (1997): RS-19 Compilation and Equivalence of Imperative Objects - Articles
  Compilation and Equivalence of Imperative Objects
  Abstract  PDF