Ernst-Erich Doberkat Stochastic Coalgebraic Logic - New York Springer US 2009 ISBN: 978-3-642-02995-0 Subjects--Topical Terms: Computer Science