@techreport{R-91-27, TITLE = {PageBreak: An Exercise in Specification and Derivation}, AUTHOR = {Feliks Kluz'niak}, YEAR = {1991}, NUMBER = {R-91-27}, INSTITUTION = ida, ADDRESS = idaaddr, ABSTRACT = {}, IDANR = {LiTH-IDA-R-91-27}