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