of Le Gall's, Rougeot's and Salembier's paper.

of D.Berry's, C.Ghezzi's, D.Mandrioli's and F.Tisato's paper.

of K.Futatsugi's and K.Okada's paper.

of T.Watanabe's, T.Oosawa's, H.Kuma's and W.Tsukada's paper.

of M.Jazayeri's and C.S.Orshich's paper.

of M.A.Steel's paper.

by Won L. Chung.

of K.A.Dady's paper.

of S.L.Gerhart's, D.R.Musser's, D.H.Thompson's, D.A.Baker's, R.L.Bates', R.W.Erickson's, R.L.London's, D.G.Taylor's and D.S.Wile's paper.

of A.Tarabout's paper.

of F.J.Rammig's paper.

of D.Bjorner's paper.

of S.Ikehara's, M.Miyazaki's and S.Yamada's paper.

of R.M.Kaplan's and B.A.Sheil's paper.

of R.N.Faiman's and A.A.Kortesoja's paper.

of A.J.Martin's paper.

of E.Weyuker's paper.

of J.H.Hine's paper.

of J.Adams' and W.Brainerd's paper.

of A.Pnueli's, N.S.Prywes' and S.Shastry's paper.