M. Balaban and M. Kifer, “An Overview of F-OML: An F-Logic Based Object Modeling Language”, eceasst, vol. 36, Mar. 2011.