Advanced Topics in Bisimulation and Coinduction

Bicher

Ähnlech Bicher