Free Download Petri Net Synthesis… By Eric Badouel, Luca Bernardinello, Philippe Darondeau (auth.) Publisher Springer-Verlag Berlin Heidelberg 2015..

Free Download Elements of Finite Model Theory… By Leonid Libkin Publisher Springer 2004 ISBN 978-3-642-05948-3, 978-3-662-07003-1 Series Texts in..