@techreport{ASM-IS-language:98,
  author = {Andreas Heberle and Dirk Heuzeroth},
  title = {The Formal Specification of {IS}}, 
  institution = {IPD, {U}niversit\"at {K}arlsruhe},
  month = {January},
  year = 1998
}