Daltro José Nunes. Ein Verfahren zur rechnerunterstützten Programmkonstruktion. PhD thesis, University of Stuttgart, Germany, 1985. [doi]
@phdthesis{dnb-7809, title = {Ein Verfahren zur rechnerunterstützten Programmkonstruktion}, author = {Daltro José Nunes}, year = {1985}, url = {http://d-nb.info/850758424}, researchr = {https://researchr.org/publication/dnb-7809}, cites = {0}, citedby = {0}, school = {University of Stuttgart, Germany}, }