The formal method known as B and a sketch for its implementation - Kaijanaho, Antti-Juhani (2002)