The B-Book : assigning programs to meanings

Main Author: Abrial
Format: Book
Published: New York: Cambridge University Press, 1996.
Subjects: