Bookbot

David Gries

    The science of programming
    Kompilátory číslicových počítačov
    A Logical Approach to Discrete Math