Michihiro Matsumoto, Kokichi Futatsugi
Test set coinduction — Toward automated verification of behavioural properties
WRLA, 1998.
@article{WRLA-1998-MatsumotoF,
author = "Michihiro Matsumoto and Kokichi Futatsugi",
doi = "10.1016/S1571-0661(05)80015-5",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "242--262",
title = "{Test set coinduction — Toward automated verification of behavioural properties}",
volume = 15,
year = 1998,
}