Ed Currie

• Essence of Z (Prentice-Hall Essence of Computing)