@article{6942d1579ff8495ea4ec6d352909823c,
title = "Methodical solution of the problem of ascending subsequences of maximum length within a given sequence",
keywords = "Program formation, functional programming, induction",
author = "M. Broy and M. Wirsing and Finance, \{J. P.\} and A. Qu{\'e}r{\'e} and Remy, \{J. L.\}",
year = "1979",
month = jun,
day = "11",
doi = "10.1016/0020-0190(79)90111-X",
language = "English",
volume = "8",
pages = "224--229",
journal = "Information Processing Letters",
issn = "0020-0190",
publisher = "Elsevier B.V.",
number = "5",
}