@unpublished{Mossakowski98a,
  abstract = {We define two sublanguages of CASL that can be easily mapped to functional programs. One of them allows to specify arbitrary partial recursive functions, the other one is restricted to total recursive functions.},
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Mossakowski, Till},
  biburl = {https://www.bibsonomy.org/bibtex/2615c94e4c38062b298f230229cb4c585/tillmo},
  interhash = {6479da70c24014adc0fd07c6cc4d7091},
  intrahash = {615c94e4c38062b298f230229cb4c585},
  keywords = {CASL functional programming sublanguage},
  note = {CoFI note L-9},
  status = {Other},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Two "functional programming" sublanguages of CASL},
  url = {http://www.informatik.uni-bremen.de/cofi/old/Notes/L-9/index.html},
  year = 1998
}