Revision as of 17:57, 2 May 2020 edit Omnipaedista (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers 267,118 edits add date of publication ← Previous edit		Revision as of 04:38, 28 January 2021 edit undo Laiwoonsiu (talk \| contribs) Extended confirmed users 922 edits m →References: Corrected the second reference. Next edit →
Line 15: ==References== * J. A. Goguen, [http://cseweb.ucsd.edu/~goguen/pps/utyop.ps Higher-Order Functions Considered Unnecessary for Higher-Order Programming]. In ''Research Topics in Functional Programming'' (June 1990). pp. 309–351. * Goguen, Joseph A., et al. "Introducing OBJ." Software Engineering with OBJ. Springer, Boston, MA, 2000. pp. 3–167. * {{citation \|last1=J. A. Goguen \|last2=T. Winkler \|last3=J. Meseguer \|last4=K. Futatsugi \|last5=J.-P. Jouannaud \|chapter=Introducing OBJ \| title=Software Engineering with OBJ: Algebraic Specification in Action \|editor-last1=J. A. Goguen \|editor-last2=G. Malcolm \|date=2000 \|publisher=Springer Science+Business Media, New York, NY \|pages=3-167 \|ISBN=978-1-4757-6541-0}} * {{FOLDOC}}

OBJ (programming language): Difference between revisions