next up previous
Next: About this document ... Up: Spécifications des principaux types Previous: Équivalence

References

BL91
V. Berzins and Luqi.
Software Engineering with Abstractions.
Addison-Wesley Publishing Co., 1991.
[En réserve: QA76.76D47B47].



Tremblay Guy
2/4/1999