Stream Differential Equations: Specification Formats and Solution Methods (Logical Methods in Computer Science, 2017)