Challenges for Formal Semantic Description: Responses from the Main Approaches. - Cliff B. Jones; Troy K. Astarte (SETSS, 2017)

What Have Formal Methods Ever Done for Us? An Audience Discussion. - Troy Kaighin Astarte (FM Workshops (2), 2019)

From the Editors' Desks. - David Hemmendinger; Troy Kaighin Astarte (IEEE Ann. Hist. Comput., 2024)

From Monitors to Monitors: A Primitive History. - Troy K. Astarte (Minds Mach., 2024)

From the Editor's Desk. - Troy Astarte (IEEE Ann. Hist. Comput., 2025)