The B-method : an introduction - SCHNEIDER (New York: Palgrave, 2001)
BSECU
Keywords: Software engineering; B (Computer program language)