Dzafic, Belmina

• BRICS Report Series No. 23 (1999): RS-23 On proving syntactic properties of CPS programs - Articles
  On proving syntactic properties of CPS programs
  Abstract  PDF