| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
| 1992 | A syntactic approach to fixed point computation on finite domains | Chuang, Tyng-Ruey; Goldberg, Benjamin | Lisp Pointers V | | | |
| 1992 | A syntactic approach to fixed point computation on finite domains | Chuang, Tyng-Ruey; Goldberg, Benjamin | | | | |
| 1997 | A syntactic method for finding least fixed points of higher-order functions over finite domains | Chuang, Tyng-Ruey; Goldberg, Benjamin | Journal of Functional Programming 7 | | | |
| 1993 | Real-time deques, multihead Turing machines, and purely functional programming | Chuang, Tyng-Ruey; Goldberg, Benjamin | | | | |
