@TechReport{IKM+:trace-report,
  author =       {Micha{"l} Iglewski and Marcin Kubica and Jan Madey
                  and Janina Mincer-Daszkiewicz and Krzysztof Stencel},
  title =        {{TAM}'97: the Trace Assertion Method of Module
                  Interface Specification. {R}eference Manual},
  year =         1997,
  address =      {Warszawa},
  number =       {TR 97-01 (238)},
  institution =  {Instytut Informatyki, Uniwersytet Warszawski}
}