Author: Conference on Software for Critical Systems (1991 New Orleans, La.)