%0 Journal Article %A Wing, Jeannette Marie %D 1982 %T A Larch specification of the library problem %U https://kilthub.cmu.edu/articles/journal_contribution/A_Larch_specification_of_the_library_problem/6587516 %R 10.1184/R1/6587516.v1 %2 https://kilthub.cmu.edu/ndownloader/files/12074600 %K Computer programs Correctness. %K Programming (Electronic computers). %K Computer interfaces. %X Computer Science Department %I Carnegie Mellon University