@Book{BvW98,
    Author       = "Back, R. and von Wright, J.",
    Year         = "998",
    Title        = "{Refinement Calculus: A Systematic Introduction}",
    Series       = "Graduate Texts in Computer Science",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPRef"
}