Jan Kofro?, Tomáš Vojnar Mathematical and Engineering Methods in Computer Science - Springer Springer 2016 ISBN: 9783319298177 Source: EBOOK