Thomas Meyer. A framework for formal representation and transformational optimisation of executable specifications. PhD thesis, University of Bremen, 2008.
@phdthesis{de-315,
title = {A framework for formal representation and transformational optimisation of executable specifications},
author = {Thomas Meyer},
year = {2008},
note = {http://d-nb.info/990567265},
researchr = {https://researchr.org/publication/de-315},
cites = {0},
citedby = {0},
school = {University of Bremen},
}