1
by Alur, Nagraj
Published 2002
IBM Corp.