You are here: TUCS > PUBLICATIONS > Publication Search > Refinement Calculus: A Systema...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Refinement Calculus: A Systematic Introduction
Ralph-Johan Back, Joakim von Wright, Refinement Calculus: A Systematic Introduction. Graduate Texts in Computer Science, Springer-Verlag, 1998.
BibTeX entry:
@BOOK{bBaWr98a,
title = {Refinement Calculus: A Systematic Introduction},
author = {Back, Ralph-Johan and Wright, Joakim von},
series = {Graduate Texts in Computer Science},
publisher = {Springer-Verlag},
year = {1998},
}