000 00455nmm a2200145Ia 4500
008 230125s9999||||xx |||||||||||||||||und||
020 _a9789491216657
100 _aJan A Bergstra, Cornelis A. Middelburg
245 0 _aInstruction Sequences for Computer Science
250 _a2012
260 _bAtlantis Press
_c2012
440 _aAtlantis Studies in Computing
650 _aMathematics and Statistics
856 _uhttps://doi.org/10.2991/978-94-91216-65-7
999 _c6582
_d6582