OBJ (programming language): Difference between revisions

Content deleted Content added
m References: Renamed the section as ==Bibliography== because no references are cited.
Citation bot (talk | contribs)
Alter: pages. Formatted dashes. | You can use this bot yourself. Report bugs here. | Suggested by Abductive | Category:Academic programming languages | via #UCB_Category 17/35
Line 16:
* 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.
 
* {{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-1673–167 |ISBNisbn=978-1-4757-6541-0}}
* {{FOLDOC}}