%0 Book %1 Broy2001 %A Broy, M. %A Stølen, K. %D 2001 %I Springer-Verlag New York Incorporated %K %T Specification and development of interactive systems: focus on streams, interfaces, and refinement

@book{Broy2001, added-at = {2013-11-20T11:34:25.000+0100}, author = {Broy, M. and St{\o}len, K.}, biburl = {https://www.bibsonomy.org/bibtex/236ee1dcb6f4f607b6a5b72a157045e5f/junkerm}, groups = {public}, interhash = {db7ff6bf49e370068779199b484da31a}, intrahash = {36ee1dcb6f4f607b6a5b72a157045e5f}, keywords = {}, publisher = {Springer-Verlag New York Incorporated}, timestamp = {2013-11-20T11:34:25.000+0100}, title = {Specification and development of interactive systems: focus on streams, interfaces, and refinement}, username = {junkerm}, year = 2001 }