-
2
-
-
0002198395
-
Towards a theory of declarative knowledge
-
J. Minker (Ed.), Morgan Kaufmann, Los Altos, CA
-
K.R. Apt, H.A. Blair, A. Walker, Towards a theory of declarative knowledge, in: J. Minker (Ed.), Deductive Databases and Logic Programming, Morgan Kaufmann, Los Altos, CA, 1988, pp. 89-148.
-
(1988)
Deductive Databases and Logic Programming
, pp. 89-148
-
-
Apt, K.R.1
Blair, H.A.2
Walker, A.3
-
3
-
-
0020086620
-
Parametrized data types do not need highly constrained parameters
-
M.A. Arbib, E.G. Manes, Parametrized data types do not need highly constrained parameters, Inform. and Control 52 (1982) 139-158.
-
(1982)
Inform. and Control
, vol.52
, pp. 139-158
-
-
Arbib, M.A.1
Manes, E.G.2
-
4
-
-
0001772758
-
Algebraic specification of concurrent systems
-
E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (Eds.), Algebraic Foundations of Systems Specification, Springer, Berlin
-
E. Astesiano, M. Broy, G. Reggio, Algebraic specification of concurrent systems, in: E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (Eds.), Algebraic Foundations of Systems Specification, IFIP State-of-the-Art Report, Springer, Berlin, 1999.
-
(1999)
IFIP State-of-the-Art Report
-
-
Astesiano, E.1
Broy, M.2
Reggio, G.3
-
6
-
-
0012754763
-
Algebraic Foundations of Systems Specification
-
Springer, Berlin
-
E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (Eds.), Algebraic Foundations of Systems Specification, IFIP State-of-the-Art Report, Springer, Berlin, 1999.
-
(1999)
IFIP State-of-the-Art Report
-
-
Astesiano, E.1
Kreowski, H.-J.2
Krieg-Brückner, B.3
-
7
-
-
85013589208
-
Algebraic specification of concurrency
-
Proc. WADT'91, Springer, Berlin
-
E. Astesiano, G. Reggio, Algebraic specification of concurrency, Proc. WADT'91, Lecture Notes in Computer Science, vol. 655, Springer, Berlin, 1993, pp. 1-39.
-
(1993)
Lecture Notes in Computer Science
, vol.655
, pp. 1-39
-
-
Astesiano, E.1
Reggio, G.2
-
8
-
-
0347464242
-
Bisimulation in algebraic specifications
-
H. Ait-Kaci, M. Nivat (Eds.), Academic Press, New York
-
E. Astesiano, M. Wirsing, Bisimulation in algebraic specifications, in: H. Ait-Kaci, M. Nivat (Eds.), Resolution of Equations in Algebraic Structures, vol. 1, Academic Press, New York, 1989, pp. 1-31.
-
(1989)
Resolution of Equations in Algebraic Structures
, vol.1
, pp. 1-31
-
-
Astesiano, E.1
Wirsing, M.2
-
15
-
-
84947931464
-
Proving the Correctness of Behavioural Implementations
-
Proc. AMAST '95, Springer, Berlin
-
M. Bidoit, R. Hennicker, Proving the Correctness of Behavioural Implementations, Proc. AMAST '95, Lecture Notes in Computer Science, vol. 936, Springer, Berlin, 1995, pp. 152-168.
-
(1995)
Lecture Notes in Computer Science
, vol.936
, pp. 152-168
-
-
Bidoit, M.1
Hennicker, R.2
-
18
-
-
0020293079
-
Partial abstract types
-
M. Broy, M. Wirsing, Partial abstract types, Acta inform. 18 (1982) 47-64.
-
(1982)
Acta Inform.
, vol.18
, pp. 47-64
-
-
Broy, M.1
Wirsing, M.2
-
19
-
-
84863935216
-
-
The CoFI Task Group on Language Design
-
The CoFI Task Group on Language Design, CASL: The Common Algebraic Specification Language, 1998, http://www.brics.dk/Projects/CoFI/ Documents/CASL/Summary.
-
(1998)
CASL: The Common Algebraic Specification Language
-
-
-
20
-
-
18944385550
-
From SOS specifications to structured coalgebras: How to make a bisimulation a congruence
-
ENTCS, Elsevier, Amsterdam
-
A. Corradini, R. Heckel, U. Montanari, From SOS specifications to structured coalgebras: how to make a bisimulation a congruence, Proc. CMCS '99, ENTCS, vol. 19, Elsevier, Amsterdam, 1999.
-
(1999)
Proc. CMCS '99
, vol.19
-
-
Corradini, A.1
Heckel, R.2
Montanari, U.3
-
21
-
-
0031070070
-
Specification of abstract dynamic data types: A temporal logic approach
-
G. Costa, G. Reggio, Specification of abstract dynamic data types: a temporal logic approach, Theoret. Comput. Sci. 173 (1997) 513-554.
-
(1997)
Theoret. Comput. Sci.
, vol.173
, pp. 513-554
-
-
Costa, G.1
Reggio, G.2
-
22
-
-
0003372269
-
CafeOBJ Report
-
World Scientific, Singapore
-
R. Diaconescu, K. Futatsugi, CafeOBJ Report, AMAST Series in Computing, vol. 6, World Scientific, Singapore, 1998.
-
(1998)
AMAST Series in Computing
, vol.6
-
-
Diaconescu, R.1
Futatsugi, K.2
-
23
-
-
0007028738
-
Algebraic implementation of abstract data types
-
H. Ehrig, H.-J. Kreowski, B. Mahr, P. Padawitz, Algebraic implementation of abstract data types, Theoret. Comput. Sci. 20 (1982) 209-263.
-
(1982)
Theoret. Comput. Sci.
, vol.20
, pp. 209-263
-
-
Ehrig, H.1
Kreowski, H.-J.2
Mahr, B.3
Padawitz, P.4
-
25
-
-
0003326505
-
Dynamic abstract data types: An informal proposal
-
H. Ehrig, F. Orejas, Dynamic abstract data types: an informal proposal, EATCS Bull. 53 (1994) 162-169.
-
(1994)
EATCS Bull.
, vol.53
, pp. 162-169
-
-
Ehrig, H.1
Orejas, F.2
-
26
-
-
77956967704
-
Ultraproducts for algebraists
-
J. Barwise (Ed.), North-Holland, Amsterdam
-
P.C. Eklof, Ultraproducts for algebraists, in: J. Barwise (Ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam, 1977, pp. 105-137.
-
(1977)
Handbook of Mathematical Logic
, pp. 105-137
-
-
Eklof, P.C.1
-
27
-
-
0001449325
-
Temporal and modal logic
-
J. van Leeuwen (Ed.), Elsevier, Amsterdam
-
E.A. Emerson, Temporal and modal logic, in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, Elsevier, Amsterdam, 1990, pp. 995-1072.
-
(1990)
Handbook of Theoretical Computer Science
, pp. 995-1072
-
-
Emerson, E.A.1
-
28
-
-
85035005894
-
Observability concepts in abstract data type specifications
-
Proc. MFCS '76, Springer, Berlin
-
V. Giarratana, F. Gimona, U. Montanari, Observability concepts in abstract data type specifications, Proc. MFCS '76, Lecture Notes in Computer Science, vol. 45, Springer, Berlin, 1976, pp. 576-587.
-
(1976)
Lecture Notes in Computer Science
, vol.45
, pp. 576-587
-
-
Giarratana, V.1
Gimona, F.2
Montanari, U.3
-
29
-
-
0348094162
-
Stretching first order equational logic: Proofs with partiality, subtypes and retracts
-
San Diego
-
J.A. Goguen, Stretching first order equational logic: proofs with partiality, subtypes and retracts, UCSD Report, San Diego 1997, www-cse.ucsd.edu/users/goguen/ps/ftp97.ps.gz.
-
(1997)
UCSD Report
-
-
Goguen, J.A.1
-
30
-
-
84969364034
-
Towards an algebraic semantics for the object paradigm
-
Proc. 9th ADT Workshop, Springer, Berlin
-
J.A. Goguen, R. Diaconescu, Towards an algebraic semantics for the object paradigm, Proc. 9th ADT Workshop, Lecture Notes in Computer Science, vol. 785, Springer, Berlin, 1994, pp. 1-29.
-
(1994)
Lecture Notes in Computer Science
, vol.785
, pp. 1-29
-
-
Goguen, J.A.1
Diaconescu, R.2
-
33
-
-
85047174523
-
Hidden coinduction: Behavioral correctness proofs for objects
-
to appear
-
J.A. Goguen, G. Malcolm, Hidden coinduction: behavioral correctness proofs for objects, Math. Struct. Comput. Sci., to appear.
-
Math. Struct. Comput. Sci.
-
-
Goguen, J.A.1
Malcolm, G.2
-
34
-
-
0002712736
-
Unifying functional, object-oriented and relational programming with logical semantics
-
B. Shriver, P. Wegner (Eds.), MIT Press, Cambridge, MA
-
J.A. Goguen, J. Meseguer, Unifying functional, object-oriented and relational programming with logical semantics, in: B. Shriver, P. Wegner (Eds.), Research Directions in Object-Oriented Programming, MIT Press, Cambridge, MA, 1987, pp. 417-477.
-
(1987)
Research Directions in Object-Oriented Programming
, pp. 417-477
-
-
Goguen, J.A.1
Meseguer, J.2
-
35
-
-
0002424767
-
An initial algebra approach to the specification, correctness and implementation of abstract data types
-
R. Yeh (Ed.), Prentice-Hall, Englewood Cliffs, NJ
-
J.A. Goguen, J.W. Thatcher, E.G. Wagner, An initial algebra approach to the specification, correctness and implementation of abstract data types, in: R. Yeh (Ed.), Current Trends in Programming Methodology, vol. 4, Prentice-Hall, Englewood Cliffs, NJ, 1978, pp. 80-149.
-
(1978)
Current Trends in Programming Methodology
, vol.4
, pp. 80-149
-
-
Goguen, J.A.1
Thatcher, J.W.2
Wagner, E.G.3
-
36
-
-
0013161987
-
A tutorial on co-induction and functional programming
-
Springer, Berlin
-
A.D. Gordon, A tutorial on co-induction and functional programming, Proc. Functional Programming Glasgow 1994, Springer, Berlin, 1995, pp. 78-95.
-
(1995)
Proc. Functional Programming Glasgow 1994
, pp. 78-95
-
-
Gordon, A.D.1
-
37
-
-
0000198242
-
Structured operational semantics and bisimulation as a congruence
-
J.F. Groote, F. Vaandrager, Structured operational semantics and bisimulation as a congruence, Inform. and Comput. 100 (1992) 202-260.
-
(1992)
Inform. and Comput.
, vol.100
, pp. 202-260
-
-
Groote, J.F.1
Vaandrager, F.2
-
38
-
-
0011694301
-
Abstract data types and software validation
-
University of Southern California
-
J. Guttag, E. Horowitz, D.R. Musser, Abstract data types and software validation, Report ISI/RR-76-48, University of Southern California, 1976.
-
(1976)
Report ISI/RR-76-48
-
-
Guttag, J.1
Horowitz, E.2
Musser, D.R.3
-
40
-
-
0021974161
-
Algebraic laws for nondeterminism and concurrency
-
M. Hennessy, R. Milner, Algebraic laws for nondeterminism and concurrency, J. ACM 32 (1985) 137-161.
-
(1985)
J. ACM
, vol.32
, pp. 137-161
-
-
Hennessy, M.1
Milner, R.2
-
41
-
-
84958952568
-
Observational Logic
-
Proc. AMAST '98, Springer, Berlin
-
R. Hennicker, M. Bidoit, Observational Logic, Proc. AMAST '98, Lecture Notes in Computer Science, vol. 1548, Springer, Berlin, 1998, pp. 263-277.
-
(1998)
Lecture Notes in Computer Science
, vol.1548
, pp. 263-277
-
-
Hennicker, R.1
Bidoit, M.2
-
42
-
-
0015482118
-
Proof of correctness of data representations
-
C.A.R. Hoare, Proof of correctness of data representations, Acta Inform. 1 (1972) 271-281.
-
(1972)
Acta Inform.
, vol.1
, pp. 271-281
-
-
Hoare, C.A.R.1
-
43
-
-
84956996641
-
Behaviour-refinement of coalgebraic specifications with coinductive correctness proofs
-
Proc. TAPSOFT '97, Springer, Berlin
-
B. Jacobs, Behaviour-refinement of coalgebraic specifications with coinductive correctness proofs, Proc. TAPSOFT '97, Lecture Notes in Computer Science, vol. 1214, Springer, Berlin, 1997, pp. 787-802.
-
(1997)
Lecture Notes in Computer Science
, vol.1214
, pp. 787-802
-
-
Jacobs, B.1
-
44
-
-
0000892681
-
A tutorial on (Co)algebras and (Co)induction
-
B. Jacobs, J. Rutten, A tutorial on (Co)algebras and (Co)induction, EATCS Bull. 62 (1997) 222-259.
-
(1997)
EATCS Bull.
, vol.62
, pp. 222-259
-
-
Jacobs, B.1
Rutten, J.2
-
45
-
-
0001686885
-
Completion of a set of rules modulo a set of equations
-
J.-P. Jouannaud, H. Kirchner, Completion of a set of rules modulo a set of equations, SIAM J. Comput. 15 (1986) 1155-1194.
-
(1986)
SIAM J. Comput.
, vol.15
, pp. 1155-1194
-
-
Jouannaud, J.-P.1
Kirchner, H.2
-
46
-
-
84976847852
-
Final data type specifications: A new data type specification method
-
S. Kamin, Final data type specifications: a new data type specification method, ACM TOPLAS 5 (1983) 97-123.
-
(1983)
ACM TOPLAS
, vol.5
, pp. 97-123
-
-
Kamin, S.1
-
47
-
-
84947770521
-
Conditional equational specifications of data types with partial operations for inductive theorem proving
-
Proc. RTA '97, Springer, Berlin
-
U. Kühler, C.-P. Wirth, Conditional equational specifications of data types with partial operations for inductive theorem proving, Proc. RTA '97, Lecture Notes in Computer Science, vol. 1232, Springer, Berlin, 1997, pp. 38-52.
-
(1997)
Lecture Notes in Computer Science
, vol.1232
, pp. 38-52
-
-
Kühler, U.1
Wirth, C.-P.2
-
48
-
-
85032177199
-
Proof systems for Hennessy-Milner logic with recursion
-
Proc. CAAP '88, Springer, Berlin
-
K.G. Larsen, Proof systems for Hennessy-Milner logic with recursion, Proc. CAAP '88, Lecture Notes in Computer Science, vol. 299, Springer, Berlin, 1988, pp. 215-230.
-
(1988)
Lecture Notes in Computer Science
, vol.299
, pp. 215-230
-
-
Larsen, K.G.1
-
50
-
-
0003554030
-
Proving correctness of refinement and implementation
-
Oxford University Computing Lab
-
G. Malcolm, J.A. Goguen, Proving correctness of refinement and implementation, Technical Monograph PRG-114, Oxford University Computing Lab, 1994.
-
(1994)
Technical Monograph PRG-114
-
-
Malcolm, G.1
Goguen, J.A.2
-
51
-
-
84957873927
-
Membership algebra as a logical framework for equational specification
-
Proc. WADT '97, Springer, Berlin
-
J. Meseguer, Membership algebra as a logical framework for equational specification, Proc. WADT '97, Lecture Notes in Computer Science, vol. 1376, Springer, Berlin, 1998, pp. 18-61.
-
(1998)
Lecture Notes in Computer Science
, vol.1376
, pp. 18-61
-
-
Meseguer, J.1
-
52
-
-
0002928286
-
Initiality, induction and computability
-
M. Nivat, J. Reynolds (Eds.), Cambridge University Press, Cambridge
-
J. Meseguer, J.A. Goguen, Initiality, induction and computability, in: M. Nivat, J. Reynolds (Eds.), Algebraic Methods in Semantics, Cambridge University Press, Cambridge, 1985, pp. 459-541.
-
(1985)
Algebraic Methods in Semantics
, pp. 459-541
-
-
Meseguer, J.1
Goguen, J.A.2
-
53
-
-
85031940165
-
Algebraic specifications of reachable higher-order algebras
-
Proc. 5th ADT Workshop, Springer, Berlin
-
B. Möller, A. Tarlecki, M. Wirsing, Algebraic specifications of reachable higher-order algebras, Proc. 5th ADT Workshop, Lecture Notes in Computer Science, vol. 332, Springer, Berlin, 1988, pp. 154-169.
-
(1988)
Lecture Notes in Computer Science
, vol.332
, pp. 154-169
-
-
Möller, B.1
Tarlecki, A.2
Wirsing, M.3
-
54
-
-
0026188821
-
Notions of computation and monads
-
E. Moggi, Notions of computation and monads, Inform, and Comput. 93 (1991) 55-92.
-
(1991)
Inform, and Comput.
, vol.93
, pp. 55-92
-
-
Moggi, E.1
-
55
-
-
0001424061
-
Semantic-based translation methods for modal logics
-
H.-J. Ohlbach, Semantic-based translation methods for modal logics, J. Logic Comput. 1 (1991) 691-746.
-
(1991)
J. Logic Comput.
, vol.1
, pp. 691-746
-
-
Ohlbach, H.-J.1
-
58
-
-
84958600974
-
Swinging data types: Syntax, semantics, and theory
-
Proc. WADT '95, Springer, Berlin
-
P. Padawitz, Swinging data types: syntax, semantics, and theory, Proc. WADT '95, Lecture Notes in Computer Science, vol. 1130, Springer, Berlin, 1996, pp. 409-435.
-
(1996)
Lecture Notes in Computer Science
, vol.1130
, pp. 409-435
-
-
Padawitz, P.1
-
59
-
-
0029704897
-
Inductive theorem proving for design specifications
-
P. Padawitz, Inductive theorem proving for design specifications, J. Symbolic Comput. 21 (1996) 41-99.
-
(1996)
J. Symbolic Comput.
, vol.21
, pp. 41-99
-
-
Padawitz, P.1
-
60
-
-
84957885304
-
Towards the one-tiered design of data types and transition systems
-
Proc. WADT '97, Springer, Berlin
-
P. Padawitz, Towards the one-tiered design of data types and transition systems, Proc. WADT '97, Lecture Notes in Computer Science, vol. 1376, Springer, Berlin, 1998, pp. 365-380.
-
(1998)
Lecture Notes in Computer Science
, vol.1376
, pp. 365-380
-
-
Padawitz, P.1
-
61
-
-
0347464240
-
-
Report, University of Dortmund
-
P. Padawitz, Sample swinging types, Report, University of Dortmund, 1998, http://ls5.cs.unidortmund.de/~peter/BehExa.ps.gz
-
(1998)
Sample Swinging Types
-
-
Padawitz, P.1
-
62
-
-
0348094163
-
-
Course Notes, University of Dortmund
-
P. Padawitz, Theorie der Programmierung, Course Notes, University of Dortmund, 1998, http://ls5.cs.unidortmund.de/~peter/TdP96.ps.gz
-
(1998)
Theorie der Programmierung
-
-
Padawitz, P.1
-
63
-
-
0347464241
-
Proof in flat specifications
-
E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (Eds.), Algebraic Foundations of Systems Specification, Springer, Berlin
-
P. Padawitz, Proof in flat specifications, in: E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (Eds.), Algebraic Foundations of Systems Specification, IFIP State-of-the-Art Report, Springer, Berlin, 1999.
-
(1999)
IFIP State-of-the-Art Report
-
-
Padawitz, P.1
-
64
-
-
0346202851
-
-
Report, University of Dortmund
-
P. Padawitz, Modular swinging types, Report, University of Dortmund, 1999, http://ls5.cs.unidortmund.de/~peter/MST.ps.gz
-
(1999)
Modular Swinging Types
-
-
Padawitz, P.1
-
65
-
-
0014651649
-
Fixpoint induction and proofs of program properties
-
B. Meltzer, D. Michie (Eds.), Elsevier, Amsterdam
-
D. Park, Fixpoint induction and proofs of program properties, in: B. Meltzer, D. Michie (Eds.), Machine Intelligence, vol. 5, Elsevier, Amsterdam, 1969, pp. 59-78.
-
(1969)
Machine Intelligence
, vol.5
, pp. 59-78
-
-
Park, D.1
-
66
-
-
0002596558
-
Building-in equational theories
-
B. Meltzer, D. Michie (Eds.), Elsevier, Amsterdam
-
G.D. Plotkin, Building-in equational theories, in: B. Meltzer, D. Michie (Eds.), Machine Intelligence, vol. 7, Elsevier, Amsterdam, 1972, pp. 73-90.
-
(1972)
Machine Intelligence
, vol.7
, pp. 73-90
-
-
Plotkin, G.D.1
-
67
-
-
0021002561
-
An operational semantics for CSP
-
D. Bjørner (Ed.), North-Holland, Amsterdam
-
G.D. Plotkin, An operational semantics for CSP, in: D. Bjørner (Ed.), Proc. IFIP TC-2 Working Conf. Formal Description of Programming Concepts II, North-Holland, Amsterdam, 1983, pp. 199-225.
-
(1983)
Proc. IFIP TC-2 Working Conf. Formal Description of Programming Concepts II
, pp. 199-225
-
-
Plotkin, G.D.1
-
68
-
-
84976111956
-
An approach to object semantics based on terminal coalgebras
-
H. Reichel, An approach to object semantics based on terminal coalgebras, Math. Struct. Comput. Sci. 5 (1995) 129-152.
-
(1995)
Math. Struct. Comput. Sci.
, vol.5
, pp. 129-152
-
-
Reichel, H.1
-
70
-
-
0003919590
-
Universal coalgebra: A theory of systems
-
CWI, SMC Amsterdam
-
J.J.M.M. Rutten, Universal coalgebra: a theory of systems, Report CS-R9652, CWI, SMC Amsterdam, 1996.
-
(1996)
Report CS-R9652
-
-
Rutten, J.J.M.M.1
-
71
-
-
0023994482
-
Toward formal development of programs from algebraic specifications: Implementations revisited
-
D. Sannella, A. Tarlecki, Toward formal development of programs from algebraic specifications: implementations revisited, Acta Inform. 25 (1988) 233-281.
-
(1988)
Acta Inform.
, vol.25
, pp. 233-281
-
-
Sannella, D.1
Tarlecki, A.2
-
72
-
-
0022279974
-
Automated deduction by theory resolution
-
M. Stickel, Automated deduction by theory resolution, J. Automat. Reason. 1 (1985) 333-356.
-
(1985)
J. Automat. Reason.
, vol.1
, pp. 333-356
-
-
Stickel, M.1
-
73
-
-
0000832186
-
Modal and temporal logics
-
S. Abramsky, et al., (Eds.), Clarendon Press, Oxford
-
C. Stirling, Modal and temporal logics, in: S. Abramsky, et al., (Eds.), Handbook of Logic in Computer Science, Clarendon Press, Oxford, 1992, pp. 477-563.
-
(1992)
Handbook of Logic in Computer Science
, pp. 477-563
-
-
Stirling, C.1
-
74
-
-
84896746128
-
The joys of bisimulation
-
Proc. MFCS '98, Springer, Berlin
-
C. Stirling, The joys of bisimulation, Proc. MFCS '98, Lecture Notes in Computer Science, vol. 1450, Springer, Berlin, 1998, pp. 142-151.
-
(1998)
Lecture Notes in Computer Science
, vol.1450
, pp. 142-151
-
-
Stirling, C.1
-
75
-
-
0018505424
-
Final algebra semantics and data type extensions
-
M. Wand, Final algebra semantics and data type extensions, J. Comput. System Sci. 19 (1979) 27-44.
-
(1979)
J. Comput. System Sci.
, vol.19
, pp. 27-44
-
-
Wand, M.1
-
76
-
-
0346202850
-
Specifications, models, and implementations of data abstractions
-
M. Wand, Specifications, models, and implementations of data abstractions, Theoret. Comput. Sci. 20 (1982) 3-32.
-
(1982)
Theoret. Comput. Sci.
, vol.20
, pp. 3-32
-
-
Wand, M.1
-
77
-
-
0000382802
-
Algebraic specification
-
J. van Leeuwen (Ed.), Elsevier, Amsterdam
-
M. Wirsing, Algebraic specification, in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, Elsevier, Amsterdam, 1990, pp. 675-788.
-
(1990)
Handbook of Theoretical Computer Science
, pp. 675-788
-
-
Wirsing, M.1
|