[GALOP'24] Normal Form Bisimulations by Value | ACM SIGPLAN | Podwise