R. Cole. 24th Australiasian Computer Science Conference, volume 23 of Australian Computer Science Communications, page 47-53. IEEE Computer Society, (2001)more details of this in Cole's PhD thesis.
K. Ohmori, J. Dalder, and P. Eklund. Advances in Computer Aided Design, page 118-127. IEEE Press, (1996)see PRICAI'96 paper which is a clearer presentation.
R. Cole. 23th Australiasian Computer Science Conference, volume 22 of Australian Computer Science Communications, page 47-53. IEEE Computer Society, (2000)more details of this in Cole's PhD thesis.