Ralph-Johan Back : Refinement calculus : a systematic introduction

Refinement calculus -teos tarjoaa ensimmäisen järjestelmällisen johdatuksen ohjelmien oikeellisuuden ja parantamisen matemaattiseen ja loogiseen perustaan. Kirjassa esitellään alan lähes kahden vuosikymmenen tutkimustuloksia ja paljon uutta materiaalia.

Kenelle: Jatko-opiskelijoille ja pitkälle edistyneille perustutkinto-opiskelijoille, jotka ovat kiinnostuneita ohjelmoinnin ja ohjelmointilogiikan matemaattisista perusteista, sekä ohjelmoijille ja tutkijoille, jotka haluavat syvempää ymmärrystä ohjelmien systemaattisesta kehittämisestä.