Zhendong Jin

Development via Refinement in Probabilistic B - Foundation and Case Study

Annabelle McIver, Ken Robinson, Carroll Morgan, 2005, ZB.

Probabilistic Invariants for Probabilistic Machines

Annabelle McIver, Ken Robinson, Carroll Morgan, 2003, ZB.

Inferring Word Meaning from Context: A Study in Second Language Acquisition.

Zhendong Jin, Thomas H. Huckin, 1986 .