TY - BOOK TI - quasicon formal mapping PY - 0000///0 ER -