SPECIFICATION IN B AN INTRODUCTION USING THE B TOOLKIT - Lano,Kevin; Haughton,Howard (Imperial College Press, London, 1996)
Includes Index
Keywords: B (Computer Program Language)