| Date | Publication | Publisher | Type | Page | |
|---|---|---|---|---|---|
| December 1985 |
|
The Nightmare Machine | Berkley Books | Novel | |
| 1987 |
|
A máquina de pesadelo | Publicações Europa-América | Novel |