Demonstration of epithelial-mesenchymal transition in kidney - The contribution of a coupled histochemical and immunohistochemical staining with Periodic Acid-Thionin Schiff

Traditional Periodic Acid Schiff has been extensively used, coupled with immunohistochemistry for epithelia or mesenchymal cells, to highlight renal tubular basement membrane (TBM). We recently tried to perform such technique in a 5/6 nephrectomy model of progressive renal fibrosis to demonstrate TBM disruption as an evidence for epithelial-mesenchymal transdifferentiation. Despite excellent basement membrane staining with traditional fuchsin-Periodic Acid Schiff, the interface between epithelial and mesenchymal cells was frequently blurred when revealed with 3`3 diaminobenzidine tetrachloride-peroxidase. Also, it was inadequate when revealed with alkaline phosphatase-fast red. We devised a triple staining method with Periodic Acid-Thionin Schiff to highlight basement membrane in blue, after double immunostaining for epithelium and mesenchymal cells. Blue basement membrane rendered a brisk contrast and highlighted boundaries between epithelial-mesenchymal interfaces. This method was easy to perform and useful to demonstrate the TBM, yield a clear demonstration of the very focal TBM disruption found in this model of progressive renal fibrosis.

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.