En innføringsbok i programmeringsspråket ATS, som kombinerer funksjonell programmering med avansert typesystem.

Kilde: https://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/book1.html