Soundness in Verification of Algebraic Specifications with OBJK.O. WilanderElsevier Science2008DOI 10.1016/j.jlap.2007.07.002
Parallel Importing of OBJ Meshes in CUDAPossemiers, Aidan L.IEEE Computer Society2015DOI 10.2312/pg.20151283|10.0000/ee5c453be35206c34f135c6951c5e0c2
OBJ MicroRNA-regulated Pathways in Pediatric IBDZahm, AdamJohn Wiley and Sons2012DOI 10.1097/00054725-201212001-00017
Fast OBJ File Importing and Parsing in CUDAPossemiers, Aidan L.Springer-Verlag2015DOI 10.1007/s41095-015-0021-5
Rapid Prototyping: in the OBJ Executable Specification LanguageJoseph GoguenACM1982DOI 10.1145/1006258.1006273
Programming with Equalities, Subsorts, Overloading, and Parametrization in OBJJean-Pierre JouannaudElsevier Science1992DOI 10.1016/0743-1066(92)90027-z
Software Process Ag La Algebra: OBJ for OBJInternational Conference on Software EngineeringInternational Conference on Software EngineeringDOI 10.5555/100296.100298
