AIList Digest Volume 4 Issue 102

eZine lover (@eZine)

Published in 

AIList Digest

 · 1 year ago

AIList Digest           Saturday, 26 Apr 1986     Volume 4 : Issue 102 

Today's Topics: 
  Bibliography - References #2 

---------------------------------------------------------------------- 

Date: 9 Apr 86 13:20:13 GMT 
From: allegra!mit-eddie!think!harvard!seismo!mcvax!ukc!dcl-cs!nott-cs! 
      abc@ucbvax.berkeley.edu  (Andy Cheese) 
Subject: Bibliography - References #2 

 
COX83a 
Cox Brad J. 
Object Oriented Programming in C 
Unix review, October/Novemeber 1983 Page 67 

COX84a 
Cox Brad J. 
Object Oriented Programming in C 
Unix Review, February/March 1984 Page 56 

COUR82a 
Courcelle B. 
Fundamental Properties of Infinite Trees 
in BROY82a, pp 417-470 
1982 

COUR84a 
ed. Courcelle B. 
Ninth Colloquium on Trees in Algebra and Programming 
CUP 1984 

COUS85a 
Cousineau G. & Curien P. -L. & Mauny M. 
The Categorical Abstract Machine 
CNRS-Universite Paris VII LITP 
85-8 
January 1985 

CRAM * 
Crammond J.A. & Miller C.D.F. 
An Architecture For Parallel Logic Languages 
2nd International Logic Programming Conference 
pp 183-194 

CRAM85a * 
Crammond J.A. 
A Comparative Study of Unification Algorithms for OR_Parallel Execution of 
Logic Languages 
IEEE Transactions on Computers, Vol c-34, no 10, pp 911-917 
October 1985 

CURI85a 
Curien P. -L. 
Typed Categorical Combinatory Logic 
CNRS-Universite Paris VII LITP 
85-15 
February 1985 

CURI85b 
Currien P. -L. 
Categorical Combinators, Sequentials Algorithms and Functional Programming 
CNRS-Universite Paris VII LITP 
85-26 
March 1985 

CURR58a 
Curry H.B. & Feys R. 
Combinatory Logic, Vol 1 
North Holland Publishing Company, Amsterdam, 1958 

CURR72a 
Curry H.B & Hindley J.R. & Seldin J.P. 
Combinatory Logic, Vol II 
North Holland Publishing Company, Amsterdam, 1972 

DA83a 
Da Silva J.G.D. & Watson I. 
A Pseudo Associative Store with Hardware hashing 
Proc. IEE, Part E, 1983 

DAM82a 
Damas L. & Milner R. 
Principal Type Schemes For Functional Programs 
Proc. ACM Symposium on Principles of Programming Languages, 
pp 207-212, 1982 

DARL75a 
Darlington J. 
Application of Program Transformation to Program Synthesis 
Proc of International Symposium on Proving and Improving Programs, 
Arc et Senans, France 
1975 

DARL76a 
Darlington J. & Burstall R.M. 
A System that Automatically Improves Programs 
Acta Informatica, Vol 6,p41-60 

DARL77a 
Darlington J. 
Program Transformation and Synthesis Present Capabilities 
Report 77/43 
Dept of Computing, Imperial College 
(Also in Artificial Intelligence Journal Vol 16, 1981) 
1977 

DARL79a 
Darlington J. 
A Synthesis of Several Sorting Algorithms 
Acta Informatica, Vol 11, no 1 
1979 

DARL80a 
Darlington J. 
An Abstract Scheme For a Multiprocessor Implementation of Applicative 
Languages 
Proc. of Joint SRC/Newcastle Univ. Workshop on VLSI, 
Machine Architecture and Very High Level Languages 
1980 

DARL80b 
Darlington J. 
Synthesis of Implementations For Abstract Data Types 
Report 80/4 
Dept of Computing, Imperial College 
1980 

DARL80c 
Darlington J. 
The Design of Efficient Data Representations 
Dept of Computing, Imperial College 
1980 

DARL81a 
Darlington J. 
The Structured Description of Algorithm Derivations 
To Appear in Amsterdam Conf. on Algorithms 
October 1981 

DARL81b * 
Darlington J. & Reeve M. 
ALICE- A Multi-Processor Reduction Machine for the Parallel Evaluation 
of Applicative Languages 
Proc of 1981 ACM Conf on Functional Programming Languages & Computer 
Architecture 

DARL82a 
Darlington J. & Henderson P. & Turner D.A. 
Functional Programming and its Applications- An Advanced Course 
Cambridge University Press 1982 

DARL82b 
Darlington J. 
Program Transformation 
in DARL82a 
1982 

DARL83a * 
Darlington J. 
The New Programming:Functional & Logic Languages 
Distributed Computing- A Review for Industry, SERC, Manchester 1983 

DARL83b * 
Darlington J. & Reeve M. 
ALICE- and the Parallel Evaluation of Logic Programs 
Invited Paper, 10th Annual Int. Symposium on Computer Architecture,1983 

DARL83c * 
Darlington J. 
Unification of Logic and Functional Languages 
Dept. of Computing, Imperial College, Date Unknown 

DARL85a * 
Darlington J. & Field A.J. & Pull H. 
The Unification of Functional and Logic Languages 
Department of Computing, Imperial College 
Doc 85/3 
February 1985 

DAVI78a 
Davis A.L. 
The Architecture and System Method of DDM1: A Recursively Structured 
Data Driven Machine 
Proc. 5th Int. Symp on Comp. Arch., pp 210-215 
April 1978 

DEGR84a 
DeGroot D. 
Restricted And-Parallelism 
Proc. Int. Conf. 5th Generation Computer Systems, 1984, 
pp 471-478 
1984 

DEGR85a * 
DeGroot D. 
Alternate Graph Expressions for Restricted And-Parallelism 
IEEE Spring Compcon 1985, pp 206-210 
1985 

DEGR85b * 
DeGroot D. & Chang J-H 
Une Comparison de Deux Modeles d'Execution de Parallelisme "et" a 
Comparison of Two And-Parallel Execution Models 
Hardware and Software Components and Architectures for the 5th 
Generation, March 5-7 1985, pp 271-280 
1985 

DELI79a 
Deliyanni A. & Kowalski R.A. 
Logic and Semantic Networks 
CACM Vol 22,No 3,p184-192 

DEN75a 
Dennis J.B. & Misunas D.P. 
A Preliminary Architecture for a Basic Dataflow Processor 
Proc. 2nd Annual Symposium on Computer Architecture 
SIGARCH vol 3, no 4 , Jan 75, pp 126-132 
1975 

DEN79a 
Dennis J.B. 
The Varieties of Data Flow Computers 
MIT Computation Structures Group, Memo 183, August 1979 

DELV85a * 
Delves L.M. & Mawdsley S.C. 
DAP-Algol: A Development System for Parallel Algorithms 
Computer Journal, Vol 28, no 2, pp 148-153 
1985 

DERT84a 
Derthick M. 
Variations on the Boltzmann Machine Learning Algorithm 
CMU-CS-84-120 
Dept of Comp Sci, Carnegie-Mellon Univ 
August 1984 

DETT86a * 
Dettmer R. 
Flagship A Fifth Generation Machine 
Electronics and Power, pp 203-208 
March 1986 

DEU76a 
Duetsch & Peter L. & Bobrow & Daniel G. 
An Efficient, Incremental, Automatic Garbage Collector 
CACM Vol 19,no 9, pp 522-526, 1976 

DIJK82a 
Dijkstra E.W. 
Lambek and Moser Revisited 
in BROY82a, pp 19-22 
1982 

DIJK82b 
Dijkstra E.W. 
Repaying our Debts 
in BROY82a, pp 135-141 
1982 

DIJK82c 
Dijkstra E.W. 
A Tutorial on the Split Binary Semaphore 
in BROY82a, pp 555-564 
1982 

DIJK85a 
Dijkstra E.W. 
Invariance and Non-Determinacy 
in HOA85a 
1985 

DONA85a * 
Donahue J. & Demers A. 
Data Types Are Values 
ACM Transactions on Programming Languages and Systems, vol 7, no 3 
pp 426-445 
July 1985 

DOWN76a 
Downey P.J. & Sethi R. 
Correct Computation Rules For Recursive Languages 
SIAM Journal of Computing 5(3), pp 378-401, September 1976 

DUCE84a * 
ed. Duce D.A. 
Distributed Computing Systems Programme 
IEE Digital Electronics and Computing Series no 5 
Peter Peregrinus Ltd., 1984 

DUCK85a * 
Duckworth R.J. & Brailsford D.F. & Harrison L. 
A Structured Data Flow Computer 
Internal Report, Comp Sci Group, Univ of Nottingham 
October 14, 1985 

EGA79a 
Egan G.K. 
Data Flow: Its Applications to Decentralised Control 
PhD Thesis, Dept of Comp Sci, Univ. of Manchester, 1979 

ELIT84a 
eds. Elithorn A. & Banerji R. 
Artificial and Human Intelligence: Symposium 
North Holland 1984 

ENNA82a 
Ennals J.R. 
Beginning Micro-Prolog 
Ellis Horwood Series Artificial Intelligence 
Ellis Horwood Ltd., 1982 

ENOM84a 
Enomoto H. & Yonezaki N. & Saeki M. & Chiba K. & Takizuka T. & Yokoi T. 
Natural Language Based System Development System TELL 
ICOT Research Center, Technical Report TR-067 
June 1986 

ENOM84b 
Enomoto H. & Yonezaki N. & Saeki M. 
Formal Specification and Verification for Concurrent Systems by TELL 
ICOT Research Center, Technical Report TR-068 
June 1986 

FAGE83a 
Fages F. & Huet G.P. 
Complete Sets Of Unifiers And Matches In Equational Theories 
Proc. 8th Colloquium on Trees In Algebra And Programming 
Springer Verlag, LNCS 159, pp 205-220, 1983 

FAHL83a 
Fahlman S.E. & Hinton G.E. & Sejnowski T.J. 
Massively Parallel Architectures for AI: NETL,THISTLE,and Boltzmann Machines 
Proc. National Conf. on Artificial Intelligence, Aug 1983 p109-113 

FAIR82a 
Fairburn J. 
Ponder, And Its Type System 
Cambridge Computer Lab Technical Report 31, 1982 

FAIR85a * 
Fairbairn J. 
Design and Implementation of a Simple Typed Language Based on the Lambda 
Calculus 
Computer Laboratory, University of Cambridge, Tech Rep no 75 
(also submitted as PhD thesis in December 1984) 
1985 

FARR79a 
Farrell E.P. et al 
A Concurrent Computer Architecture and Ring Based Implementation 
Proc 6th Int. Symp. on Comp. Arch., pp 1-11 
April 1979 

FAUS83a 
Faustini A.A. Mathews S.G. & Yaghi A.G 
The pLUCID Programming Manual 
University of Warwick Distributed Computing Report No. 4 ,1983 

FEHR84a * 
Fehr E. 
Expressive power of Typed and Type-Free Programming Languages 
Theoretical Computer Science 33 (1984) pp 195-238 
North Holland 
1984 

FEHR84b * 
Fehr E. 
Dokumentation eines PROLOG-Interpreters implementiert in der funktionalen 
Sprache BRL 
GMD Nr 122 
November 1984 

FILG82a * 
Filgueiras M. 
On The Implementation of Control in Logic Programming Languages 
Universidade Nova de Lisboa, Tech rep UNL 8/82 
1982 

FINN85a * 
Finn S. 
The Simplex Programming Language 
Department of Computing Science, University of Stirling 
27th March 1985 

FOLE? 
Foley J. 
A Multi-Ring Dataflow Machine 
PhD Thesis, Dept of Computer Science, Univ. of Manchester 
In Preparation 

FOO86a * 
Foo N.Y. 
Dewey Indexing of Prolog Traces 
Computer Journal, Vol 29, no 1, pp 17-19 
1986 

FREI74a 
Freidman D.P. 
The Little LISPer 
Science Research Associates, Palo Alto 
1974 

FREI76a * 
Freidman D.P. & Wise D.S. 
CONS Should Not Evaluate Its Arguments 
Proceedings 3rd International Colloquium on Automata Languages and Programming 
pp 257-284 
Edinburgh University Press, 1976 

FREI77a 
Freidman D.P. & Wise D.P. 
Applicative Multiprogramming 
Tech rep no 72, Indiana univ., Bloomington 
1977 

FREI77b 
Freidman D.P. & Wise D.S. 
Aspects of Applicative Programming for File Systems 
SIGPLAN notices Vol 12 no 3 march 77 pp 41-55 
1977 

FREI78a 
Friedman D.P. Wise D.S. 
A Note on Conditional Expressions 
CACM  21(11), pp 931-933, November 1978 

FREI78b * 
Freidman D.P. & Wise D.S. 
Functional Combination 
Computer Languages, 3, pp 31-35 
1978 

FREI78c 
Freidman D.P. & Wise D.S. 
Unbounded Computational Structures 
Software, Practise and Experience, 8, pp 407-415 
1978 

FREI79a * 
Freidman D.P. & Wise D.S. 
Reference Counting Can Manage The Circular Environments of Mutual Recursion 
Information Processing Letters, 8, no 2, pp 921-930 
1979 

FREI80a 
Freidman D.P. & Wise D.S. 
An Indeterminate Constructor for Applicative programming 
Conf. Record of ACM Symp. on Princ. of Prog. Langs., Las Vegas 
1980 

FROS85a * 
Frost R.A. 
Using Semantic Concepts to Characterise Various Knowledge Representation 
Formalisms: A Method of Facilitating the Interface of Knowledge Base 
System Components 
Computer Journal, Vol 28, no 2, pp 112-116 
1985 

FUJI83a 
Fujita M. & Tanaka H. Moto-oka T. 
Verification with PROLOG and Temporal Logic 
Faculty of Eng. Univ. of Tokyo 

FURU83a * 
Furukawa K. & Takeuchi A. & Kunifuji S. 
Mandala: A Concurrent Prolog Based Knowledge Programming Language System 
ICOT Research center, Technical Report TR-029 
November 1983 

FURU83b * 
Furukawa K. & Nakajima R. & Yonezawa A. 
Modularization and Abstraction in PROLOG 
Document ETL 
ICOT Research Center, Technical Report TR-022 
( Also in New Generation Computing, Vol 1, No 2, 1983 ) 
August 1983 

FURU83c 
Furukawa K. 
Mandala: A Knowledge Programming Language on Concurrent Prolog 
ICOT Research Center, Technical Memorandum TM-0028 
October 1983 

FURU84a * 
Furukawa K. & Kunifuji S. & Takeuchi A. & Ueda K. 
The Conceptual Specification of the Kernel Language Version 1 
( Also in Workshop on Implementation of Concurrent Prolog, Rehovot, 1984 ) 
ICOT Research Center, Technical Report TR-054 
March 1984 

FURU84a * 
Furukawa K. & Takeuchi A. & Kunifuji S. & Yasukawa H. & Ohki M. & Ueda K. 
Mandala: A Logic Based Knowledge Programming System 
( Also in Second Japanese Swedish Workshop on Logic Programming and 
  Functional Programming, Uppsala, 1984 ) 
ICOT Research Center, Technical Report TR-076 
August 1984 

FUTA85a 
Futatsugi K. & Goguen J.A. & Jouannaud J-P & Meseguer J. 
Principles of OBJ2 
In Proc. 1985 Principles of Programming Languages 
1985 

GIER80a 
Gierz G. & Hofmann K.H. & Keimel K. & Lawson J.D. & Mislove M. & Scott D.S. 
A Compendium of Continuous Lattices 
Springer Verlag 
1980 

GLAS84a * 
Glaser H. & Hankin C. & Till D. 
Principles of Functional Programming 
Prentice Hall International, 1984 

GLAU78a 
Glauert J.R.W. 
A Single-Assignment Language for Data Flow Computing 
MSc Dissertation, Dept of Comp Sci, Univ. of Manchester, January 1978 

GLAU85a * 
Glauert J.R.W. & Holt N.P. & Kennaway J.R. & Sleep M.R. 
An Active Term Rewrite Model for Parallel Computation 
Document, Alvey DACTL group, March 1985 

GLAU85b * 
Glauert J.R.W. & Holt N.P. & Kennaway J.R. & Sleep M.R. 
DACTL Report 3/5 
Document, Alvey DACTL group, March 1985 

GLAU85c * 
Glauert J.R.W. & Holt N.P. & Kennaway J.R. & Reeve M.J. & 
Sleep M.R. & Watson I. 
DACTL0: A Computational Model and an Associated Compiler Target Language 
University of East Anglia 
May 1985 

GOEB85a 
Goebel R. 
The Design and Implementation of DLOG, a Prolog-Based Knowledge Representation 
System 
New Generation Computing, Vol 3, No 4, pp 385-401 
1985 

GOGU67a 
Goguen J.A. 
L-Fuzzy Sets 
Journal of Mathematical Analysis and Applications 
Vol 18 no 1, pp 145-174 
1967 

GOGU68a 
Goguen J.A. 
Categories of Fuzzy Sets 
Phd Dissertation 
Dept. of mathematics, Univ. of california, berkeley 
1968 

GOGU68b 
Goguen J.A. 
The Logic of Inexact Concepts 
Synthese, Vol 19, pp 325-373 
1968-69 

GOGU69a 
Goguen J.A. 
Categories of V-Sets 
Bulletin of the American Mathematical Society, 
Vol 75, no 3, pp 622-624 
1969 

GOGU71a 
Mathematical Representation of Hierarchically organised Systems 
in "Global Systems Dynamics" 
(ed. Attinger E. & Karger S.) 
Basel, Switzerland 
pp 112-128 
1971 

GOGU72a 
Goguen J.A. 
Systems and Minimal Realisation 
Proc. IEEE Conf. on Decision and Control, 
Miami Beach, Florida 
pp 42-46 
1972 

GOGU72b 
Goguen J.A. 
Minimal Realisation of Machines in Closed Categories 
Bulletin of the American Mathematical Society 
Vol 78, no 5, pp 777-783 
1972 

GOGU72c 
Goguen J.A. 
Hierarchical Inexact Data structures in Artificial Intelligence Problems 
Proc. 5th Hawaii Int. Conf. on System Sciences 
Honolulu, Hawaii, pp 345-347 
1972 

GOGU72d 
Goguen J.A. & Yacobellis R.H. 
The Myhill Functor, Input-Reduced Machines, and Generalised 
Krohn-Rhodes Theory 
Proc. 5th Princeton Conf. on Information Sciences and Systems 
Princeton, New Jersey 
pp 574-578 
1972 

GOGU72e 
Goguen J.A. 
On Homomorphisms, Simulation, Correctness and Subroutines for 
programs and Program schemes 
Proc. 13th IEEE Symp. on Switching and Automata Theory 
College Park, Maryland 
pp 52-60 
1972 

GOGU73a 
Goguen J.A. 
Realisation is Universal 
mathematical System Theory 
Vol 6, no 4, pp 359-374 
1973 

GOGU73b 
Goguen J.A. 
System theory concepts in Computer Science 
Proc. 6th Hawaii Int. Conf. on Systems Sciences 
Honolulu, Hawaii, pp 77-80 
1973 

GOGU73c 
Goguen J.A. 
The Fuzzy Tychonoff Theorem 
Journal of mathematical Analysis and applications 
vol 43, pp 734-742 
1973 

GOGU73d 
Goguen J.A. 
Categorical Foundations for general Systems Theory 
in "Advances in Cybernetics and Systems research" 
(ed. Pichler F. & Trappl R.) 
Transcripta Books, London 
pp 121-130 
1973 

GOGU74a 
Goguen J.A. 
Semantics of Computation 
Proc. 1st Int. Symp. on Category Theory Applied to Computation and Control 
(1974 American Association for the Advancement of Science, San francisco) 
Univ. of massachusetts at Amherst, 1974, pp 234-249 
also published in LNCS vol 25, pp 151-163, springer-verlag 
1975 

GOGU74b 
Goguen J.A. & Thatcher J.W. 
Initial Algebra Semantics 
proc. 15th IEEE Symp. on Switching and Automata 
pp 63-77 
1974 

GOGU74c 
Goguen J.A. 
Concept Representation in Natural and Artificial languages: Axioms, 
extensions and Applications for Fuzzy sets" 
Int. Journal of man-Machine Studies 
vol 6, pp 513-561 
1974 
reprinted in "Fuzzy Reasoning and its Applications" 
(ed. Mamdani E.H. & Gaines B.R.) 
pp 67-115 
Academic Press 
1981 

GOGU74d 
Goguen J.A. 
On Homomorphisms, Correctness, termination, Unfoldments and 
Equivalence of Flow Diagram Programs" 
Journal of Computer and System Sciences, 
vol 8, no 3, pp 333-365 
1974 

GOGU74e 
Goguen J.A. 
Some Comments on Applying Mathematical System Theory 
in "Systems Approaches and Environmental Problems" 
(ed. Gottinger H.W. & Vandenhoeck & Rupert) 
pp 47-67 
(Gottingen, Germany) 
1974 

GOGU75a 
Goguen J.A. & Thatcher J.W. & Wagner E.G. & Wright J.B. 
Factorisation, Congruences, and the Decomposition of Automata and 
Systems 
in "Mathematical Foundations of Computer Science" 
LNCS Vol 28, pp 33-45, Springer-Verlag 
1975 

GOGU75b 
Goguen J.A. 
Objects 
International Journal of general systems, vol 1, no 4, 
pp 237-243 
1975 

GOGU75c 
Goguen J.A. 
Discrete-Time Machines in Closed Monoidal Categories, I, 
Journal of Computer and System sciences, Vol 10, No 1, February, 
pp 1-43 
1975 

GOGU75c 
Goguen J.A. & Thatcher J.W. & Wagner E.G. & Wright J.B. 
Abstract Data types as Initial algebras and the Correctness of 
Data Representations 
Proc. Conf. on Computer Graphics, Pattern recognition, and Data Structure 
(Beverly Hills, California), pp 89-93 
1975 

GOGU75d 
Goguen J.A. & Carlson L. 
Axioms for Discrimination Information 
IEEE Transactions on Information Theory, Sept '75 
pp 572-574 
1975 

GOGU75e 
Goguen J.A. 
On Fuzzy Robot Planning 
in "Fuzzy Sets and Their Applications to Cognitive and Decision Processes 
(ed. Zadeh L.A. & Fu K.S. & Tanaka K. & Shimura M.) 
pp 429-448 
Academic Press 
1975 

GOGU75f 
Goguen J.A. 
Robust Programming Languages and the Principle of Maximum 
Meaningfulness 
Proc. Milwaukee Symp. on Automatic Computation and Control 
(Milwaukee, Wisconsin) 
pp 87-90 
1975 

GOGU75g 
Goguen J.A. 
Complexity of Hierarchically Organised Systems and the Structure of 
Musical Experiences 
Int. Journal of General Systems, vol 3, no 4, 1975, pp 237-251 
originally in UCLA Comp. Sci. Dept. Quarterly, October 1975, pp 51-88 
1975 

GOGU76a 
Goguen J.A. & Thatcher J.W. & Wagner E.G. & Wright J.B. 
Some Fundamentals of Order-Algebraic Semantics 
Proc. 5th Int. Symp. on Mathematical Foundations of Computer Sciences 
(Gdansk, Poland, 1976) 
LNCS vol 46, 1976, pp153-168, Springer-Verlag 
1976 

GOGU76b 
Goguen J.A. & Thatcher J.W. & Wagner E.W. & Wright J.B. 
Parallel Realisation of Systems, Using Factorisations and Quotients in 
Categories 
Journal of Franklin Institute, vol 301, no6, June '76, pp 547-558 
1976 

GOGU76c 
Goguen J.A. 
Correctness and Equivalence of Data Types 
Proc Symp. on Mathematical Systems Theory (Udine, Italy) 
Springer Verlag Lecture Notes 
(ed. Marchesini G.) 
pp 352-358 
1976 

GOGU76d 
Goguen J.A. & Thatcher J.W. & Wagner E.G. & Wright J.B. 
Rational Algebraic Theories and Fixed-point Solutions 
Proc. IEEE 17th Symp on Foundations of Computer Science 
(Houston, Texas), 1976, pp 147-158 
1976 

GOGU77a 
Goguen J.A. & Thatcher J.W. & Wagner E.G. & Wright J.B. 
Initial Algebra Semantics and Continuous Algebras 
JACM, vol 24, no 1, January 1977, pp 68-95 
1977 

GOGU77b 
Goguen J.A. 
Abstract Errors for Abstract Data Types 
in "Formal Descriptions of Programming Concepts" 
(ed. E.Neuhold) 
North-Holland, 1978, pp 491-522 
also in 
Proc. IFIP Working Conf. on Formal Description of Programming 
Concepts 
(ed. Dennis J.) 
MIT Press, 1977, pp 21.1-21.32 
1977 

GOGU77c * 
Goguen J.A. & Burstall R.M. 
Putting Theories Together to Make Specifications 
Proc. 5th Int. Joint Conf. on Artificial Intelligence 
(MIT, Cambridge, Massachusetts), 1977, pp 1045-1058 
1977 

GOGU77d 
Goguen J.A. & Meseguer J. 
Correctness of Recursive Flow Diagram Programs 
Proc. Conf. on Mathematical Foundations of Comp. Sci. 
(Tatranska Lomnica, Czechoslovakia) 
pp 580-595 
1977 

GOGU77e 
Goguen J.A. 
Algebraic Specification Techniques 
UCLA Comp. Sci. Dept. Quarterly 
Vol 5, no 4 
pp 53-58 
1977 

GOGU78a 
Goguen J.A. & Varela F. 
The Arithmetic of Closure 
Journal of Cybernetics, Vol 8, 1978 
also in "Progress in Cybernetics and Systems research, vol 3" 
(ed. Trappl R. & Klir G.J. & Ricciardi L.) 
Hemisphere Pub Co. (Washington D.C.) 
1978 

GOGU78b 
Goguen J.A. & Ginali S. 
A Categorical Approach to General Systems 
in "Applied General Systems research" 
(ed. Klir G.) 
Plenum Press 
pp 257-270 
1978 

GOGU78c 
Goguen J.A. & Thatcher J.W. & Wagner E.G. 
An Initial Algebra Approach to the Specification, Correctness and 
Implementation of Abstract data Types 
in "Current Trends in Programming, vol 4, Data Structuring" 
pp 80-149 
(ed. Yeh R.) 
Prentice Hall 
1978 

GOGU78d 
Goguen J.A. 
Some Design Principles and Theory for OBJ-0, a Language for Expressing 
and Executing Algebraic Specifications of Programs 
Proc. Int. Conf. on Mathematical Studies of Information Processing 
(Kyoto, Japan) 
pp 429-475 
1978 

GOGU78e 
Goguen J.A. & Linde C. 
Structure of Planning Discourse 
Journal of Social and Biological Structures, Vol 1 
pp 219-251 
1978 

GOGU79a 
Goguen J.A. & Shaket E. 
Fuzzy Sets at UCLA 
Kybernetes, vol 8 
pp 65-66 
1979 

GOGU79b 
Goguen J.A. & Varela F. 
Systems and Distinctions; Duality and Complementarity 
International Journal of General Systems, vol 5 
pp 31-43 
1979 

GOGU79c 
Goguen J.A. & Tardo J.J. 
An Introduction to OBJ: A Language for writing and Testing formal 
algebraic specifications 
Reliable Software Conf. Proc. (ed. Yeh R.) 
(Cambridge, Massachusetts) 
pp 170-189 
Prentice Hall 
1979 

GOGU79d 
Goguen J.A. 
Algebraic Specification 
in "Research Directions in Software Technology" 
(ed. Wegner P.) 
pp 370-376 
MIT Press 
1979 

GOGU79e 
Goguen J.A. 
Some Ideas in Algebraic Semantics 
Proc. 3rd IBM Symp on Mathematical Foundations of Computer Science 
(Kobe, Japan) 
53 pages 
1979 

GOGU79f 
Goguen J.A. 
Fuzzy Sets and the Social Nature of Truth 
in "Advances in Fuzzy Set Theory and Applications" 
(eds. Gupta M.M. & Yager R.) 
pp 49-68 
North-Holland Press 
1979 

GOGU79g 
Goguen J.A. & Tardo J. & Williamson N. & Zamfir M. 
A Practical Method for Testing Algebraic Specifications 
UCLA Computer Science Quarterly, Vol 7, no 1 
pp 59-80 
1979 

------------------------------ 

End of AIList Digest 
********************