Last update: Thu Apr 12 03:37:15 MDT 2012
@Article{Liskov:1993:STU,
author = "Barbara Liskov and Jeannette M. Wing",
title = "Specifications and their use in defining subtypes",
journal = j-SIGPLAN,
volume = "28",
number = "10",
pages = "16--28",
month = oct,
year = "1993",
CODEN = "SINODQ",
ISSN = "0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic)",
ISSN-L = "0362-1340",
bibdate = "Sun Dec 14 09:16:42 MST 2003",
bibsource = "Compendex database; http://portal.acm.org/",
acknowledgement = ack-nhfb,
affiliation = "Massachusetts Inst of Technology",
journalabr = "SIGPLAN Not",
}