Infinite Lists in Z by Martin, A

Optimisation of ultrasound-mediated delivery of mRNA to mammalian cells by Martin, A

Inferring the translation speed and determining its relationship to the protein structure produced by Martin, A

Relating Z and First−order logic by Martin, A

The Ten Page Introduction to Trusted Computing by Martin, A

Machine−Assisted Theorem−Proving for Software Engineering by Martin, A

Speaking freely on the internet by Martin, A

Encoding : A Logic for Z in 2OBJ by Martin, A

The ten-page introduction to Trusted Computing by Martin, A

La Bibliothéque universelle des romans 1775-1789 by Martin, A

Why effective proof tool support for Z is hard by Martin, A

Relating Z and first−order logic by Martin, A

Infinite Lists for Specifying Functional Programs in Z by Martin, A

Of Tactics and Monads by Martin, A

Relating Z and first-order logic by Martin, A

Aids, drugs, and prostitution / by Plant, Martin A.

Bioconversion of waste materials to industrial products / by Martin, A.M.

Biological degradation of wastes/ by Martin, A M

Clinical biochemistry & metabolic medicine / by Crook, Martin A.

Problem solving in cardiovascular risk / by Crook, Martin A.