1
by Holzmann, Gerald J.
Published 2004
Addison-Wesley

2
by Burchard, Bill
Published 1999
New Riders Pub.

3
by Harrington, David
Published 2002
New Riders

4
by Evan, William M.
Published 2002
Prentice Hall PTR

5
by Ratner, Mark A.
Published 2003
Prentice Hall

6
by House, Ron
Published 2000
Que

7
by Foster, Lynn E.
Published 2005
Prentice Hall PTR