X. Jia, S. Ying, H. Cao, и D. Xie. Sixth International Conference on Grid and Cooperative Computing, 2007. GCC 2007, стр. 96--103. IEEE, (августа 2007)
C. Wild, K. Maly, C. Zhang, C. Roberts, D. Rosca, и T. Taylor. TENCON '94. IEEE Region 10's Ninth Annual International Conference. Theme: Frontiers of Computer Technology. Proceedings of 1994, (августа 1994)
D. Peters, и D. Parnas. IEEE Transactions on Software Engineering, 24 (3):
161--173(1998)ST: Spezifikation einer SW-Einheit (im Paper Methoden) wird formal beschrieben. Tool leitet automatisch Orakel ab.
Grenzen werden bei dynamische Datenstrukturen erreicht da sie schwer beschreibbar sind.
Die formale Spezifikation erscheint in den Beispielen sehr aufwendig..