@phdthesis{TUW-112833, author = {Spevak, Michael}, title = {{O}n the {S}pecification and the {A}ssembly of {D}iscretized {D}ifferential {E}quations}, school = {{I}nstitut f{\"u}r {M}ikroelektronik}, year = {2008}, url = {http://www.iue.tuwien.ac.at/phd/spevak}, doi = {10.34726/hss.2008.10851} }