Application of recombinant antibody library for screening specific antigens in a bovine sperm cell subpopulation

Antibody phage display libraries are a useful tool in proteomic analyses. This study evaluated an antibody recombinant library for identification of sex-specific proteins on the sperm cell surface. The Griffin.1 library was used to produce phage antibodies capable of recognizing membrane proteins from Nelore sperm cells. After producing soluble monoclonal scFv, clones were screened on Simental sperm cells by flow cytometry and those that bound to 40-60% of cells were selected. These clones were re-analyzed using Nelore sperm cells and all clones bound to 40-60% of cells. Positive clones were submitted to a binding assay against male and female bovine leukocytes by flow cytometry and one clone preferentially bound to male cells. The results indicate that phage display antibodies are an alternative method for identification of molecules markers on sperm cells. (C) 2007 Elsevier B.V. All rights reserved.

Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.