Swatman, PA Swatman, PA has 1 paper(s) in the AIS Basket corpus on Otero. Formal specification – an analytic tool for (management) information systems — Information Systems Journal, 1992