@phdthesis{Srinivasa, author = {Srinivasa, Srinath}, title = {An algebra of fixpoints for characterizing interactive behavior of information systems}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-000000143}, language = {en} }