logo
BibTeX Entry


@incollection{goetz:penn:97,
  author	= {Goetz, Thilo and Penn, Gerald},
  title		= {A Proposed Linear Specification Language},
  type		= {Arbeitspapiere des {SFB} 340},
  number	= {134},
  publisher	= {Universit{\"a}t T{\"u}bingen},
  year		= {1997},
  URL		= {/projects/sfb/reports/berichte/134/134.ps},
  urlzip	= {/projects/sfb/reports/berichte/134/134.ps.gz},
  urlpage	= {/projects/sfb/reports/berichte/134/134abs.html},
}