* [[Media:aspectLTLpg1.0.pdf|A Programmer's Guide to AspectLTL]].
 
* [[Media:aspectLTLpg1.0.pdf|A Programmer's Guide to AspectLTL]].