Lee, Richard C.
Practical object-oriented development with UML and java
Prentice-Hall, 2002
 Buku Teks
Research directions in high-level parallel programming languages : mont Saint-Michel, France, June 17-19, 1991 : proceedings
edited by J.B. Banatre and D. Le Metayer
Springer-Verlag, 1992
 Buku Teks
The correctness-by-construction approach to programming
edited by Derrick G. Kourie and Bruce W. Watson
Springer-Verlag, 2012
 eBooks
Laddad, Ramnivas
AspectJ in action: practical aspect-oriented programming
Manning Pubcations Co., 2003
 Buku Teks
Baesens, Bart
Beginning Java programming: the object-oriented approach
John Wiley & Sons, 2015
 Buku Teks