JONATHAN LEE2024-12-242024-12-241998-05-0102556588https://scholars.lib.ntu.edu.tw/handle/123456789/724336falseIntegrated combination of JSD and formal notationsjournal article2-s2.0-0032070842