| Title | Propositional Modal Logic of Programs: Extended Abstract |
| Publication Type | Conference Paper |
| Year of Publication | 1977 |
| Authors | Fischer MJ, Ladner RE |
| Conference Name | Ninth Annual ACM Symposium on Theory of Computing |
| Pagination | 286-294 |
| Citation Key | 1853 |
