Specifications-Links

https://www.cs.tcd.ie/Andrew.Butterfield/IrishVDM/

http://www2.imm.dtu.dk/pubdb/views/publication_details.php?id=3971

http://www.jucs.org/jucs_11_6/testaf_a_test_automation

http://www.co.umist.ac.uk/SupportWeb/Unix/VDMTools/vdm++/lib/tix/demos/samples/

http://www.afm.sbu.ac.uk/

http://www.research.att.com/~bs/bs_faq.html

DB2 V8 Javaアプリケーション用にSQLJを検討する

新しい業界標準「SQL99」詳細解説

http://www.drscheme.org/