1
by Jech, Thomas J
Published 1978
Academic Press

2
by Rozenberg, Grzegorz Salomaa, Arto
Published 1980
Academic Press