RISC JKU
  • @book{RISC6371,
    author = {Wolfgang Schreiner},
    title = {{Thinking Programs}},
    language = {english},
    series = {Texts & Monographs in Symbolic Computation},
    publisher = {Springer},
    address = {Cham, Switzerland},
    isbn_issn = {Hardcover ISBN 978-3-030-80506-7, Softcover ISBN 978-3-030-80509-8, eBook ISBN 978-3-030-80507-4},
    year = {2021},
    edition = {1st},
    translation = {0},
    length = {636},
    url = {https://doi.org/10.1007/978-3-030-80507-4}
    }