@proceedings{,
    author = {},
    title = {Algebraic Methodology and Software Technology  (AMAST '93) : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993},
    editor = {Nivat, Maurice; Rattray, Charles; Rus, Teodore; Scollo, Giuseppe},
    booktitle = {},
    series = {Workshops in Computing},
    journal = {},
    address = {Berlin u.a.},
    publisher = {Springer},
    edition = {},
    year = {1994},
    isbn = {978-1-4471-3227-1},
    volume = {},
    number =  {},
    pages = {},
    url = {},
    doi = {10.1007/978-1-4471-3227-1},
    keywords = {},
    abstract = {},
    note = {},
    institution = {Universität der Bundeswehr München, Fakultät für Informatik, INF 2 - Institut für Softwaretechnologie, Professur: Schmidt, Gunther},
    
    
}