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