Dorel Lucanu Proving Reachability Properties by Coinduction (Extended Abstract). 6-7 2018 SYNASC https://doi.org/10.1109/SYNASC.2018.00066 conf/synasc/2018 db/conf/synasc/synasc2018.html#Lucanu18