Content deleted Content added
Expanding lede and adding source. |
Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0 |
||
Line 19:
==External links==
*[https://web.archive.org/web/20051028140059/http://vl.fmnet.info/obj/ The OBJ archive]
*[http://www.cs.ucsd.edu/users/goguen/sys/obj.html The OBJ family]
*[http://www-cse.ucsd.edu/users/goguen/pps/iobj.ps Information and OBJ3 manual], [[PostScript]] format
|