@article{CTT100907995,
  author = {Mizuki Shirai and Sosuke Moriguchi and Takuo Watanabe},
  title = {Construction of Inverse Computation in Synchronous Dataflow Programming},
  journal = {Computer Software},
  year = 2024,
}