@Part(refs, Root="asis.msm")

@comment{$Source: e:\\cvsroot/ARM/ASIS/refs.mss,v $}
@comment{$Revision: 1.3 $ $Date: 2008/10/25 05:28:50 $}

@UnnumberedSection{Bibliography}

@begin{Description}

@LocalTarget{Target=[R1],Text={1.}}@\ASISWG/SIGAda; May 1994: Ada Semantic
Interface Specification, version 1.1.1, ASIS for ISO 8652:1987.

@LocalTarget{Target=[R2],Text={2.}}@\ASISWG/ASISRG World Wide Web site at =>
http://www.acm.org/sigada/WG/asiswg

@LocalTarget{Target=[R3],Text={3.}}@\Colket, C. Barnes, G. Blake, S. Cooper, D.
Jorgensen, J. Roby, C. Rittersdorf, D. Rybin, S. Strohmeier, A. Thomas, B.;
January/February 1997: "Architecture of ASIS, A Tool to Support Code Analysis
of Complex Systems," SIGAda ACM Ada Letters, volume XVII #1, pages 35-40.

@LocalTarget{Target=[R4],Text={4.}}@\Ehrenfried, D.; July/August 1994: "Static
Analysis of Ada Programs," SIGAda ACM Ada Letters, volume XIV #4, pages 28-35.

@LocalTarget{Target=[R5],Text={5.}}@\Goos, W. Wulf, A. Evans, K. Butler; 1983:
DIANA: An Intermediate Language for Ada, Springer-Verlag LNCS #161.

@LocalTarget{Target=[R6],Text={6.}}@\Intermetrics; 1986: Reference Manual for
the Descriptive Intermediate Annotated Notation for Ada (DIANA).

@ChgRef{Version=[2],Kind=[Revised],ARef=[SI99-0030-1]} @Comment{Changed New=[ISO/IEC 8652:1995(E)], Old=[ISO/IEC 8652:1995] throughout document.}
@LocalTarget{Target=[R7],Text={7.}}@\@Chg{Version=[2], New=[ISO/IEC 8652:1995(E)], Old=[ISO/IEC 8652:1995]}, Information technology
- Programming languages - Ada.

@LocalTarget{Target=[R8],Text={8.}}@\Rational; May 1989: Rational Design and
Document Support Tools Guide, document 8043A, version 1.0.

@LocalTarget{Target=[R9],Text={9.}}@\Rybin, S. Strohmeier, A. Kuchumov, V.
Fofanov, V.; 1996: "ASIS for GNAT: From the Prototype to the Full
Implementation," Proceedings of Ada-Europe Conference on Reliable Software
Technologies, Springer-Verlag LNCS #1088, pages 298-311.

@LocalTarget{Target=[R10],Text={10.}}@\Software Productivity Consortium; 1989:
Ada Quality and Style: Guidelines for Professional Programmers, Van Nostrand
Reinhold.

@LocalTarget{Target=[R11],Text={11.}}@\Software Productivity Consortium; June
1990: "Tools for Static Analysis of Ada Source Code," technical report 90015-N.

@LocalTarget{Target=[R12],Text={12.}}@\United States Department of Defense, Ada
Joint Program Office; February 83: Reference Manual for the Ada Programming
Language, ANSI/MIL-STD-1815A, ISO-8652:1987.

@LocalTarget{Target=[R13],Text={13.}}@\White, M.; April 1993: "ASIS for
Analysis of Recorded Data," Software Technology Conference (STC'93).

@end{Description}

