@MISC{QUANTAL1.MIZ,
  AUTHOR = {Bancerek, Grzegorz},
  TITLE = {Quantales},
  DAY = {09},
  MONTH = {May},
  YEAR = {1994},
  ADDRESS1 = {Institute of Mathematics\\Polish Academy of Sciences},
  SUMMARY = {The concepts of Girard quantales (see \cite{GIRARD:TCS50} and
 \cite{YETTER}) and Blikle nets (see \cite{BLIKLE}) are introduced.}}

