by Gunter, C.A., Gunter, E.L., Jackson, M., Zave, P.
Published in IEEE software (01.05.2000)

by Gunter, E.L., Yasmeen, A., Gunter, C.A., Anh Nguyen
Published in 2009 42nd Hawaii International Conference on System Sciences (01.01.2009)

by Gunter, C.A., Gunter, E.L., Macqueen, D.B.
Published in Information and computation (01.12.1993)

by Gunter, C.A., Gunter, E.L., Jackson, M., Zave, P.
Published in Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219) (2000)

by Gerber, R., Gunter, E.L., Insup Lee
Published in 1991 International Workshop on the HOL Theorem Proving System and Its Applications (1991)