@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
}