@TechReport{	  luth.ea:smltk:2001,
  abstract	= {In this reference manual, we describe the SML-based
		  programming environment sml_tk for graphical user
		  interfaces, version 3.0. sml_tk is based on the highly
		  portable X-Window Toolkit Tk (and uses internally the
		  Tcl/Tk interpreter wish), but offers functional abstraction
		  over Tk and an own component library for graphical standard
		  widgets such as info-boxes, treelist-widgets, tabs and
		  tables. sml_tk is the basic library for a collection of
		  GUIs for formal method tools such as TAS and IsaWin.},
  author	= {Christoph L{\"u}th and Burkhart Wolff},
  classification= {unrefereed},
  institution	= {Albert-Ludwigs-Universit{\"a}t Freiburg},
  language	= {english},
  month		= {July},
  number	= 158,
  pdf		= {papers/2001/manual.pdf},
  title		= {sml\_tk: Functional Programming for GUIs -- Reference
		  Manual},
  year		= 2001
}

@TechReport{	  luth.ea:smltk:2001,
  abstract	= {In this reference manual, we describe the SML-based
		  programming environment sml_tk for graphical user
		  interfaces, version 3.0. sml_tk is based on the highly
		  portable X-Window Toolkit Tk (and uses internally the
		  Tcl/Tk interpreter wish), but offers functional abstraction
		  over Tk and an own component library for graphical standard
		  widgets such as info-boxes, treelist-widgets, tabs and
		  tables. sml_tk is the basic library for a collection of
		  GUIs for formal method tools such as TAS and IsaWin.},
  author	= {Christoph L{\"u}th and Burkhart Wolff},
  classification= {unrefereed},
  institution	= {Albert-Ludwigs-Universit{\"a}t Freiburg},
  language	= {english},
  month		= {July},
  number	= 158,
  pdf		= {papers/2001/manual.pdf},
  title		= {sml\_tk: Functional Programming for GUIs -- Reference
		  Manual},
  year		= 2001
}