1133 institution = {EPFL Lausanne, Switzerland}, |
1133 institution = {EPFL Lausanne, Switzerland}, |
1134 year = 2004, |
1134 year = 2004, |
1135 number = {IC/2004/64} |
1135 number = {IC/2004/64} |
1136 } |
1136 } |
1137 |
1137 |
|
1138 @Article{Oppen:1980, |
|
1139 author = {D. C. Oppen}, |
|
1140 title = {Pretty Printing}, |
|
1141 journal = {ACM Transactions on Programming Languages and Systems}, |
|
1142 year = 1980, |
|
1143 volume = 2, |
|
1144 number = 4} |
|
1145 |
1138 @Manual{pvs-language, |
1146 @Manual{pvs-language, |
1139 title = {The {PVS} specification language}, |
1147 title = {The {PVS} specification language}, |
1140 author = {S. Owre and N. Shankar and J. M. Rushby}, |
1148 author = {S. Owre and N. Shankar and J. M. Rushby}, |
1141 organization = {Computer Science Laboratory, SRI International}, |
1149 organization = {Computer Science Laboratory, SRI International}, |
1142 address = {Menlo Park, CA}, |
1150 address = {Menlo Park, CA}, |