A Reading of the B Text Visio - Myra Stokes (Taylor and Francis, 1984)