B-book: assiging programs to meanings - Abrial, J.-r (CAMBRIDGE UNIVERSITY PRESS Cambridge, 1996)
Keywords: Software Engineering