Authors: Bowers, SE Pigozzi, D Bowers, SE Lewin, RA Pigozzi, D

Citation: Se. Bowers et al., An annotated logic defined by a matrix, UNSOLVED PROBLEMS ON MATHEMATICS FOR THE 21ST CENTURY, 2001, pp. 261-288

Authors: Leavens, GT Pigozzi, D

Citation: Gt. Leavens et D. Pigozzi, A complete algebraic characterization of behavioral subtyping, ACT INFORM, 36(8), 2000, pp. 617-663