=ADD=

=author=
Coplien; James A. + Schmidt; Douglas C.
=title=
Pattern languages of program design
=year=
1995
=publisher=
Addison-Wesley
=owner=
3
=reftype=
1
=source=
3

=ADD=

=author=
Pinnock; Jonathan
=title=
DCOM application development
=year=
1998
=publisher=
Wrox Press
=owner=
3
=reftype=
1
=source=
3

=ADD=

=author=
Stroustrup; Bjarne
=title=
The C++ programming language
=edition=
3
=year=
1998
=publisher=
AT & T
=owner=
3
=reftype=
1
=source=
3

=ADD=

=author=
Law; Averill M. + Kelton; W. David
=title=
Simulation modeling and analysis
=year=
1991
=publisher=
McGraw-Hill
=owner=
3
=reftype=
1
=source=
3

=ADD=

=author=
Broy; Manfred + Merz; Stephan + Spies; Katharina
=title=
Formal Systems Specification. The RPC-Memory Specification Case Study
=year=
1996
=publisher=
Springer
=note=
LNCS 1169
=owner=
3
=reftype=
15
=source=
3

=ADD=

=author=
Apt; Krzystof R. + Olderog; Ernst-Ruediger
=title=
Verification of sequential and concurrent programs
=year=
1997
=edition=
2
=publisher=
Springer
=series=
Graduate Texts in Computer Science
=owner=
3
=reftype=
1
=source=
3

=ADD=

=author=
Goguen; Joseph A. + Malcom; Grant
=title=
Algebraic Semantics of Imperative Programs
=year=
1996
=publisher=
MIT Press
=series=
Foundations of Computing
=owner=
3
=reftype=
1
=source=
3