The Z notation: A reference manual

Science of Computer Programming · 1990 · 561 citations · 0 references