Alexander Barkalov, Larysa Titarenko, Jacek Bieganowski Logic Synthesis for Finite State Machines Based on Linear Chains of States - 1st ed. 2018 - Springer International Publishing 2018 - 113 - Studies in Systems, Decision and Control . ISBN: 978-3-319-59837-6 ISSN: 2198-4190