@Talk{		  talk:brucker:hol-ocl:2008,
  isodate	= {2008-09-30},
  title		= {HOL-OCL Tool Demonstration},
  author	= {Achim D. Brucker},
  lecturer	= {Achim D. Brucker},
  day		= {30},
  event		= {OCL Workshop at the UML/MoDELS Conferences 2008},
  month		= sep,
  year		= {2008},
  address	= {Toulouse, France},
  slides	= {http://www.brucker.ch/bibliography/download/2008/talk-brucker-hol-ocl-2008.pdf},
  handout	= {http://www.brucker.ch/bibliography/download/2008/talk-brucker-hol-ocl-2008-2x2.pdf},
  public	= {yes},
  url		= {http://www.brucker.ch/bibliography/abstract/talk-brucker-hol-ocl-2008}
		  
}