Provably Correct Translation from CafeOBJ into Java

@inproceedings{Senachak2005ProvablyCT,
  title={Provably Correct Translation from CafeOBJ into Java},
  author={Jittisak Senachak and Takahiro Seino and Kazuhiro Ogata and Kokichi Futatsugi},
  booktitle={SEKE},
  year={2005}
}