Publication
Staticallly Checkable Pattern Abstractions
Publication
Henk: a typed intermediate language
Publication
May 1997 Draft of the ASM Guide
Publication
Recursive Abstract State Machines
Publication
Layered DCT Still Image Compression
Publication