Spivey, J.m., The z notation : A reference manual / J.m. spivey - 155 páginas - Prentice-Hall International series in computer science . ISBN: 013983768x Subjects--Topical Terms: Z (Lenguaje de programación para computadora) LC Class. No.: QA76.73Z2 / S75