@article{aufsatz17102,
affiliation = {Grundlagen der Programmierung},
title = {Pure and O-Substitution.},
journal = {Int. J. Found. Comput. Sci.},
keywords = {-},
pages = {829--845},
publisher = {World Scientific Publishing Company},
year = {2007},
peerreview = {Ja},
openaccess = {Ja},
volume = {18(4)},
doi = {http://wwwtcs.inf.tu-dresden.de/~maletti/pub/mal07d.pdf},
edition = {keiner},
author = {Maletti, A.}
}