The ATFISL specification has moved to dasl.ing/atfisl.html.