Structuring retrenchments in B by decomposition (0)

by M Poppleton, R Banach
Venue:In Araki et al