Entry Morgan:1988:RC from toplas.bib
Last update: Thu Apr 11 02:12:53 MDT 2024
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@TechReport{Morgan:1988:RC,
author = "C. C. Morgan and K. A. Robinson and P. H. B.
Gardiner",
title = "On the Refinement Calculus",
type = "Technical Monograph",
number = "PRG-70",
institution = "Oxford University Computing Laboratory",
address = "Wolfson Building, Parks Road, Oxford, UK",
month = oct,
year = "1988",
ISBN = "0-902928-52-X",
ISBN-13 = "978-0-902928-52-7",
bibsource = "https://www.math.utah.edu/pub/tex/bib/toplas.bib",
length = "151",
}
Related entries
- Morgan:1988:RC,
10(3)403
- refinement,
1(1)27,
8(3)326,
8(4)524,
14(3)417,
15(5)876,
16(2)259,
16(6)1842,
17(1)180,
17(2)366,
19(4)586,
21(1)11,
21(3)502,
21(3)677,
26(2)339,
30(6)34,
31(4)16,
32(2)6,
33(2)8,
33(4)14,
36(1)3,
36(2)6,
37(4)11,
39(3)11,
39(4)16,
40(1)3,
41(4)22,
43(1)2,
44(2)6,
44(3)14,
45(4)22