@article{,
    author = {Schmitz, Lothar},
    title = {An Exercise in Program Synthesis : Algorithms for Computing the Transitive Closure of a Relation},
    editor = {},
    booktitle = {},
    series = {},
    journal = {Science of Computer Programming},
    address = {},
    publisher = {},
    edition = {},
    year = {1982},
    isbn = {},
    volume = {1},
    number =  {3},
    pages = {235-254},
    url = {http://dx.doi.org/10.1016/0167-6423(82)90017-X},
    doi = {10.1016/0167-6423(82)90017-X},
    keywords = {},
    abstract = {},
    note = {},
    institution = {Universität der Bundeswehr München, Fakultät für Informatik, INF 2 - Institut für Softwaretechnologie, Professur: Schmitz, Lothar},
    
    
}