Μπέρκη, Ελένη,Novakovic, Dusica, Towards an integrated specification environment (ISE), 259-269, 1995, Εκπαιδευτικό Κέντρο Κτηματικής Τραπέζης,