@techreport{
    Syr99,
    author = {Syrj\"anen, Tommi},
    ps = "A55.ps",
    title = "A Rule-Based Formal Model of Software Configuration",
    address = "Helsinki, Finland",
    number = "A 55",
    month = "December",
    flags = "public copy",
    year = "1999",
    type = "Research Report",
    institution = "Helsinki University of Technology, Laboratory for Theoretical Computer Science"
}