@article{
    RefinementReactive-AFP,
    author = "Preoteasa, Viorel",
    volume = "NA",
    note = "\url{http://afp.sf.net/entries/RefinementReactive.shtml}, Formal proof development",
    responsibleauthor = "Preoteasa, Viorel",
    language = "eng",
    title = "Formalization of Refinement Calculus for Reactive Systems",
    journal = "Archive of Formal Proofs",
    issn = "2150-914x",
    month = "October",
    juforank = "NA",
    il = "no",
    eventdetails = "NA",
    year = "2014",
    unitcode = "T306-100",
    kay = "NA",
    impactfactor = "A1"
}