Balaban, M.; Kifer, M. An Overview of F-OML: An F-Logic Based Object Modeling Language. eceasst 2011, 36.