@TechReport{Müller_et_al:1997_1,
      AUTHOR = {Müller, Martin and Niehren, Joachim and Smolka, Gert},
      TITLE = {Typed Concurrent Programming with Logic Variables},
      YEAR = {1997},
      MONTH = {September},
      ADDRESS = {Saarbrücken},
      TYPE = {Technical Report},
      INSTITUTION = {Universität des Saarlandes, Programming Systems Lab},
      URL = {ftp://ftp.ps.uni-sb.de/pub/papers/ProgrammingSysLab/plain-report-97.ps.gz},
      ABSTRACT = {We present a concurrent higher-order programming language called Plain and a concomitant static type system. Plain is based on logic variables and computes with possibly partial data structures. The data structures of Plain are procedures, cells, and records. Plain's type system features record-based subtyping, bounded existential polymorphism, and access modalities distinguishing between reading and writing.},
      ANNOTE = {COLIURL : Muller:1997:TCP.pdf Muller:1997:TCP.ps}
}