A Larch specification of the library problem Jeannette Marie Wing 10.1184/R1/6587516.v1 https://kilthub.cmu.edu/articles/journal_contribution/A_Larch_specification_of_the_library_problem/6587516 Computer Science Department 1982-12-01 00:00:00 Computer programs Correctness. Programming (Electronic computers). Computer interfaces.