@unpublished{MossakowskiEtAl99,
  abstract = {Real (and, to some degree, also complex) numbers should be a part of the CASL standard library, since they occur in many applications and programming languages. In this note, we address the specification of real and complex numbers at two levels: at the mathematical level and at the computer representation level.

    [RM99a][RM99b] can be seen as complementary notes, since they contain basic datatypes resp. describe annotations and syntax extensions we frequently use here. },
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Mossakowski, Till and Roggenbach, Markus},
  biburl = {https://www.bibsonomy.org/bibtex/20f73a3d1cd3f1c455bab17d4cc132d21/tillmo},
  interhash = {3e0fbd94ccf6451e047e381b78234ed7},
  intrahash = {0f73a3d1cd3f1c455bab17d4cc132d21},
  keywords = {CASL complex number real},
  note = {CoFI note M-7},
  status = {Other},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {The datatypes REAL and COMPLEX in CASL},
  url = {http://www.informatik.uni-bremen.de/cofi/old/Notes/M-7/index.html},
  year = 1999
}