This page has moved to a new address.

Asterix and the Abstract Formalisms