Cassiel: symbolic pulse sequencing (2003)
tijdschriftartikel